Avoid using partial indexing operations.
Avoid using partial indexing operations.

Instead raise evaluation errors when indexing into finite sequences
with invalid indices.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol