Add optimization rules for x * 2^k and 2^k * x.