Rework sequence-manipulating functions and shift/rotates to be lazier in the sequence structure.
Rework sequence-manipulating functions and shift/rotates to be
lazier in the sequence structure.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol