added elementwise bitshift operators; addresses #8086

Possibly some excess genericity, since bitshifting only works for Integers, but this way was simplest.