as in instead of TypeConstraint(..), we’d use Vec&...
# development
f
as in instead of TypeConstraint(..), we’d use Vec<TypeId>?