CoreTidy

tidyExpr

tidyVarOcc

tidyRule

tidyRules