I believe the string solution and the field/group presence-indicator solutions you have suggested are good improvements, and obviate the need for those features.
The third, the Repeat Indicators, your counter proposal is an improvement. We need to consider whether we believe it is of sufficient value to warrant adding it.
Either way, we need to clarify dfdl:occursIndex().