CoreTidy
tidyExpr
tidyVarOcc
tidyRule
tidyRules
tidyUnfolding