Add progress from the design doc session @phaller and I had
Added formalization section, reformatted, minus proofs
Merge branch 'master' of github.com:heathermiller/papers-documents