Reducible iteration

Iteration of `ReducibleType` via `Stream`.
`Memo<T>` has pure, value type semantics despite its (private) internal mutability.