draft: manual entry about iterators and ranges#580

datokrat wants to merge 4 commits intoleanprover:mainleanprover/reference-manual:mainfrom

datokrat:paul/orderdatokrat/reference-manual:paul/orderCopy head branch name to clipboard