Type_type
Type_type is a subtype of Type_DOMS. Type_type defines that type objects have one or more extendsType relations and a Type datastream. Allowing more than one extendsType relations means that we allow multiple inheritance for types. The Type datastream (yet to be defined) is meant to hold a technical definition of the type against which foxml objects of this type can be validated.
The Type_type object is the bottom of the "isObjectType" relation. Any object with a "isObjectType" relation to Type_type is a TYPE object.
Extensions to Type DOMS
Datastreams
Relations RDF relations to other objects (RELS-EXT)
+extendsType -> Type Object relation to object with object type Type
Type datastream describing the type
The FoxML object can be found here