Currently the handling of type use annotation and unwrapping mode are very confusing. For example the unwrap mode is part of the property metadata, even though it might not apply to all constraints - see also discussion on this pull request.

Also the whole handling of the different type of constraints (wrapped vs unwrapped vs type use) seems very ad hoc. This should be looked over, maybe as part of or together with and