[Tree Optimizer] Re-associate for constant folding

[oflatt]

Example: (+ 3 (+ x 4)) => (+ (+ 3 4) x)

Don't include Associative and commutative rules, instead canonicalize to one form