Move constant-making identities into constant folding
Normalize nodes and generalize Mul->Shl