TcCanonical

mkCanonical

mkCanonicals

canWanteds

canGivens

canOccursCheck

canEq