feat: make fold combinators total via Stream.remaining fuel#96

NicolasRouquette wants to merge 1 commit intofgdorais:mainfgdorais/lean4-parser:mainfrom

NicolasRouquette:total-foldNicolasRouquette/lean4-parser:total-foldCopy head branch name to clipboard