The nature of a substitution.
A replacement type is defined by member types and the cardinality between them.
