HV-877 Discovering and registering type use constraints