I'm going offline now and will focus on the end of the paper until I come back.
Matt, update Papi2008 in pag.bib with the correct title of your thesis.
Also, you can cut any "type system weaknesses" discussions from the case
studies, unless they are interesting/novel. Those interesting/novel ones
will appear at the end of the document anyway.
-Mike