User-defined indexing with multiple indices
The compiler now supports Ada 2012 user-defined indexing aspects that include more than one index, e.g. to model non-standard representations for matrices.