Simplify

simplTopBinds

simplExpr