Simplify

simplTopBinds

simplExpr

simplRules