arrays.shaped: Inefficient iteration with indices.
Add upper,lower,strict-upper/lower map operations and array constructions.
sorting.extras: faster map-sort.