Split thesis.lhs into several more files. Cleaned up Makefile.
Split thesis.lhs into even more files. Made some progress on chapter on erasure.