Mark OLESEN authored Aug 21, 2023 and Mark OLESEN committed Aug 30, 2023

- totalSize() returns retrieve the linear (total) size
  (naming as per globalIndex)
- operator[] retrieves the referenced value (linear indexing)
- labels() returns a flattened labelList (as per labelRange itself)