feat: connect streams and iterators#1372

fgdorais wants to merge 9 commits intomainleanprover-community/batteries:mainfrom

stream-iterleanprover-community/batteries:stream-iterCopy head branch name to clipboard