attempt to solve the Type/TypeConstraint conundrum locally #889
Description
it seems possible to define Type instead of TypeConstraint to solve this locally. Take inspiration from what is done with Attr in #869
Originally posted by @ftynse in #869 (comment)