> Array indices do not form a field in D. What's the point bringing it in?
Yes, they are (it is true no matter that we speak of D or not). Or, more exactly, they should be a field. They are numbers, after all. Secondly, why they should not be a field? Yes, the current approach introduces a "n+1"th parameter needed to characterize an array with just... n elements. Why that?
