TcCanonical
mkCanonical
mkCanonicals
mkCanonicalFEV
canWanteds
canGivens
canOccursCheck
canEq
rewriteWithFunDeps