Implement simplify(:(x - (-y))) ==> x + y