Implement simplify(:(*(-1,x))) ==> -x
Implement simplify(:(x - (-y))) ==> x + y
Merge pull request #30 from magistere/additional-simplifications

Implement simplify(:(*(-1,x))) ==> -x