Initiator-distinguishable types

Initiator-distinguishable types are used during validation to determine existence of a type object based on the existence of its initiator.