Add more arithmetic nodes, add hashCode/equals method, and simplification comments