make the conditional in bit shifts and rotates explicit

A backend can then assume that the bitwise shift or rotate instruction is given a positive (> 0) shift amount, and exposes the conditional to the optimiser.
trafo: simplify (>->) applied to identity