Efficient implementation of Int-indexed arrays (both mutable and
immutable), with a powerful loop fusion optimization framework.
