feat: add finite and well-founded streams#1331

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

stream-finiteleanprover-community/batteries:stream-finiteCopy head branch name to clipboard