Update proposal.md

Various small fixes, nothing major.
Merge pull request #1 from fperez/patch-1

Update proposal.md