Fix comments in proposal
Remove trailing whitespace and semicolon
Add syntax notation
Increase precision of function type definition
Scaffold out reference manual sections