TcCanonical

mkCanonical

mkCanonicals

mkCanonicalFEV

mkCanonicalFEVs

canWanteds

canGivens

canOccursCheck

canEqToWorkList

rewriteWithFunDeps

mkCanonicalFDAsDerived

mkCanonicalFDAsWanted