proposal.tex

Odd that git deleted this, it thought I wanted rid of proposal.tex when
I took most of it out and put it in implementation.tex