Discussion: Change the specification of rotateL for non-finite Bits, or move rotations to FiniteBits