TypeDefinition objects are done. Improving the way types are handled in the object tree. The parser is now expected to generate the appropriate type objects; the TypeExpr object will vanish soon.