added rules simplifier for algebraic simplifier. built it into eval-and-simplify
added bind!