New simplify rule for bitshift operators

Added a rule to replace bitshifts by a constant value to a divide by the corresponding power of two.
Does it make sense to consider storing the shift in a 64 bit integer type so that we can handle 64-bit cases?