Started the basic desugaring that's going to make static analysis a little
easier and problem-space a little smaller
Beginning of the template for the paper itself
A nice supplement to help with various overlapping techniques
A couple of newer notes on some things. Still trying to make the problem more
tractable
add relevant thesis and some note modifications
Merge branch 'master' of github.com:josephwecker/APG