Simplify
simplTopBinds
simplExpr
simplRule