Term.Subsumption

compareTermSubs

eqTermSubs

factorSubstVia

Canonical representations for substitutions

canonizeSubst

for testing only

varOccurences