Untyped.index: factor out repetitive bounds check.
Untyped.index: factor out repetitive bounds check.

Just do it at the top, for all cases, rather than inside each individual
branch.

zenhack/haskell-capnp