Update .gitignore
Update proposal.md