TcCanonical
mkCanonical
mkCanonicals
mkCanonicalFEV
mkCanonicalFEVs
canWanteds
canGivens
canOccursCheck
canEqToWorkList
rewriteWithFunDeps
mkCanonicalFDAsDerived
mkCanonicalFDAsWanted