Cotypes

Every constructor feature has a cotype. Cotypes form an inheritance hierarchy parallel to the the inheritance hierarchy of the underlying original features such that type features are inherited. Cotypes implicitly inherit from the feature Type just like normal features inherit from Any.

Cotypes can be accessed by adding .type to its name and type arguments.