TcCanonical
canonicalize
canOccursCheck
canEq
canEvVar
rewriteWithFunDeps
emitFDWorkAsWanted
emitFDWorkAsDerived
data StopOrContinue