[m-dev.] discussion about the implementation of compact type representations

[Michael Day]

> Attached is a set of proposals that I would like your opinions on.
> Which parts do you agree with and which parts do you disagree with?
> Do you have a better idea for any component?

Sounds sensible to me, although I'm curious about why types with user 
defined equality can't be no-tag types.

Michael

-- 
Prince: Print with CSS!
http://www.princexml.com