Reducible iteration

Iteration of `ReducibleType` via `Stream`.
This is necessary for `Memo`.