The type "Type" has always existed in the reference implementations, but doesn't exist formally. It is referenced, however, in the UML definitions, so we need to define it formally and ensure that all the definitions are aligned.