Also add comments about indexing and when we don't use range-for.

Removes consuming code from the implementation details, easing swap of
the underlying container, etc.

Allows forcing const iteration.

Clearer and less error-prone to use standard-supplied algorithms.

Offloads most of the work onto standard algorithms to make it
more self-evidently correct.

Pointing out one potential issue with an assert.