TcCanonical

mkCanonical

mkCanonicals

mkCanonicalFEV

canWanteds

canGivens

canOccursCheck

canEq

rewriteWithFunDeps