Simplify
simplTopBinds
simplExpr