Introduce iterator recount

Also, factor this facility out of `filter`, so that recounting is an
orthogonal concern.

Recounting enforces sequential indexes on a wrapped iterator.
Revise iterator documentation