Proposal: make indexes optional?

This would have the advantage of not requiring labels like `range(n)` when there aren't sensible one to use, and allowing for numpy like broadcasting in these cases.

In principle, I think this could be pretty simple, but it would need some careful testing to verify that it doesn't break any of the existing code, some of which certainly assumes there is always an index for each dimension.
