Control.Unification.Ranked
getFreeVars
applyBindings
freshen
(===)
(=~=)
(=:=)
equals
equiv
unify
getFreeVarsAll
applyBindingsAll
freshenAll