Feature/fix presup (#223)

* fixing presupposition

* working on presup

* need to figure this out

* update

* one more case

* one more lemma

* I am so dead...

* move out lemmas

* more progress

* finish one lemma

* long way to go

* outline the proof

* outline the proof

* one simple case

* keep completing

* more proofs

* the most complicated case

* more proofs

* more proofs

* more proofs

* finish proofs

* add presup

* finish all syntactic proofs