I'm a little confused about the terminology here.

In the R7RS, (values x ...) "delivers all of its arguments to its
continuation." It doesn't really have a result in the way that `cons` or
other procedures do so I don't know how a multi-index is the "result" of
calling `values`.

Would it be better to describe the multi-index as a proper list of exact
integers? Then the array is a mapping such that `(apply array
multi-index)` returns a Scheme value for the appropriate length
`multi-index`.

-- Peter McGoron