Simplify
simplTopBinds
simplExpr
simplRules