Simplify

simplTopBinds

simplExpr

simplRule