we're interning everything with the single

Interns::insert()

method because when we used `TypeConstraint`s, the

type_id

would map to a type, but now that we are using `TypeId`s everywhere, we need to have a separate method