Sketching the formal desugaring of Eunoia in the user manual#131

ajreynol wants to merge 32 commits intomaincvc5/ethos:mainfrom

formalDesugarcvc5/ethos:formalDesugarCopy head branch name to clipboard