I discussed this with Don a while ago: there is no reason why
object types shouldn't be objects. After all, in Java, classes are
themselves objects (did I just say that?). However, this is a pretty
large change. Probably something for 4.6, or maybe even later.
Note that doing this also allows for a much more dynamic typing
system (creating object types is like instantiating objects).
Let's put some thoughts down here. It may be possible to
implement this without breaking too much existing code.
