A little bit of refactoring to tidy things up.
Merge branch 'master' of github.com:DavePearce/Papers
Merge branch 'master' of github.com:DavePearce/Papers

Conflicts:
	readings/semantic_subtyping.tex