HV-877 Removing TypeArgumentMetaData, TypeArgumentDescriptorImpl, and ConstrainedTypeArgument

Use MetaConstraint instead to represent type arguments constraints
HV-877 Using the Cascadable facet to retrieve type arguments constraints