See Original text in context
method nominalize($obj)
Produces a nominal type object for a definite type. This is its base type, which may also get nominalized if it has the nominalizable archetype.
nominalizable
