I think TypeConstraint(Vec<TypeId>) makes a lot of sense. It should be a smaller change too.