Requirements analysis for discrete indexing

[JacquesCarette]

We need to study the results of #3716 and #3717 to let us know what is needed in the design. This should result in some requirements with rationale, fit criteria and some concrete tests.