Optimizer: apply identities
Move constant-making identities into constant folding
Normalize nodes and generalize Mul->Shl
Merge pull request #213 from Kha/identities

Optimizer: apply identities