array(length0, length1, length2) -- three-dimensional immutable array

array provides three-dimensional immutable arrays. These are actually
one-dimensional immutable arrays with an additional access function with
three index parameters.

pre
  safety: length0 ≥ 0
  safety: length1 ≥ 0
  safety: length2 ≥ 0
  safety: length0 *? length1 *? length2 >=? 0