wip; checking in some stuff fomr today
non-interference done
wip; containment/confinement -> DAC (not sure how we screwed up terminology)
a bit on isolate
 more on isolation
proofs for the DAC
Wip
Revert "Wip"

This reverts commit 9e867918303b0e600bec74836bca9ac20b57213d.
make sure main.tex is not added to repo
new notation for DAC
I remove the emphasis on "new" since LIO has almost 4 years
Pass 2.1: add missing reference. Move some of the pure rules to the appendix
Pass over 2.2
Pass over 2.3.1
Changing sections, and simplifying the Cache example
Pass until toLabeled
Pointer
checkpoint; switching back to soundness
Finished passed on alternative version of toLabeled
wip soundness