Add optimization rules for x * 2^k and 2^k * x.
Merge pull request #101 from pjonsson/more-opts

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