Whenever a type handle function (e.g.
Int() can't find a type constraint under it's full name,
it assumes it has not yet been defined.
It will then return an instance of this class,
handling only stringification,
name and possible identification of undefined types.

Later,
when you try to use the Undefined Type Constraint,
autovivification will be attempted.