Implemented by types that have an associated interner (which
are virtually all of the types in chalk-ir, for example).
This lets us map from a type like
Ty<I> to the parameter
It’s particularly useful for writing
TypeFoldable impls for generic types like
Binder<T>, since it allows us to figure out the interner of