TcCanonical
mkCanonical
mkCanonicals
canWanteds
canGivens
canOccursCheck
canEq