TcCanonical
canonicalize
canOccursCheck
canEq
canEvVar
rewriteWithFunDeps
emitFDWorkAsDerived
emitFDWorkAsWanted
data StopOrContinue