Removed Plus, Minus, etc. classes.
Implement the equivalence class optimization.
Put parens around toString of binary operations.
Ensure we do not generate useless infix operations such as x+x and y+x (when we have x+y).
Add unary integer negation.