we can go further: the IndexDim type itself can be moved into step.rs -- maybe? if it were to wrap a generic flat-indexable thing -- either a slice, or an array ref.
we can go further: the IndexDim type itself can be moved into step.rs -- maybe? if it were to wrap a generic flat-indexable thing -- either a slice, or an array ref.