Greatly simplify the trait types.
Add o.classType.
InstanceOfType declares a simpleObject to instance coercion if the instance constructor was created with o.Class.
Add coercions to o.typeType, o.attributeType, o.traitType, and o.classType.
Massage the CHANGES list a bit for the next release.