A trait marking objects in a Schema
This object promoted to type for the domain/codomain of a morphism
The subschema for the subacsets on parts of this type.
The value is lazy in case an object is included in its own schema.