Update proposal.md

finally fixed everything