Normalize nodes and generalize Mul->Shl