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`.
> For this reason, I think we might be better off, with requiring an explicit @Valid.

So you suggest that we require the user to explicitly add a `@Valid` annotation when using type use constraints. If a  `@Valid` annotation is not present, the type use constraint is ignored. Is that correct?