add completion support for type constructor constraints