pub type ConstrainedSubst = ConstrainedSubst<Interner>;