Term.Subsumption
compareTermSubs
eqTermSubs
factorSubstVia
Canonical representations for substitutions
canonizeSubst
for testing only
varOccurences