Improve width inference for >> by constant

The behavior is now symmetric with <<.