add commentary to `ReductionIterator`

Explains impetus and implementation for reducing zero-length sequences
to the reducer’s monoidal identity value.