Term.Subst is an internal module.