Update proposal.md

Various small fixes, nothing major.