CoreTidy

tidyExpr

tidyVarOcc

tidyRule

tidyRules

tidyUnfolding