consts subst :: ('a => ('a,'b)term) => ('a,'b)term => ('a,'b)term substs :: ('a => ('a,'b)term) => ('a,'b)term list => ('a,'b)term list