Fixed bug in implementation of array element access handling.

The array elements are now summarized by a single abstract object, modelled as a
field in the array base. For example `xs[i]` is now modelled as an access to a
special elements field `xs.elements`.