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`.
Ok, we can ignore this for now. Note though that generally a type parameter constraint could also apply to a property of the iterable type and thus be relevant for the validation done for HV-902.