doc: fix typos and grammar across the manual#735

alok wants to merge 4 commits into

leanprover:mainleanprover/reference-manual:mainfrom

alok:fix/typos-and-grammaralok/reference-manual:fix/typos-and-grammarCopy head branch name to clipboard