HV-877 Supporting type use constraints on type arguments

This applies to `PropertyMetaData`. After your feedback, I'll continue the work on parameters and return values and I'll extend `ParameterMetaData` and `ReturnValueMetaData`.
The reason may be that in `validateCascadedConstraint` the current value context is used for the validation of type arguments rather than `newValueContext` as is for the actual cascaded validation. I think there is a relation between the test issue commented below and the path handling here.