Programmer-defined data types, last (?) version

[Jim Miller <jmiller%cs.brandeis.edu@relay.cs.net>]

Sorry, but I was waiting for something close to consensus to emerge
before sending in my one picky comment about the proposal.  I don't
like the fact that the type name is a string, and the rationale makes
no sense to me whatsoever.  As I understand it, you want to force the
T experiments to be non-portable EVEN IF the user never uses the
properties of the object that are the type's name?  Why not leave the
position entirely unrestricted, since it has only one property of
interest: given a record you can retrieve this value.  Surely, even
the most exotic experiments are unlikely to depend on the fact that
this object can't be retrieved once it is used to create a record
constructor?

--Jim