Flatten map streams

Implements `Stream.flattenMap(…)`, `++`: (`Stream`, `Stream`) → `Stream`, and left and right folds.