A dimension along which a phrase type can be covariantly specialized.
The name of the covariant specialization.
The the type that any specific phrase type's covariant specialization type is constrained to.
The one-based index of this parameterization within
The most general type this parameterization can have. If a phrase type has this type for this parameterization, the parameterization won't be shown at all in the print representation of the type.
The name to print when describing this parameterization of some phrase type.