Expand comparison table
Make Summary a frame, not a slide
Fix typo
Add diagrams to Java compiler correctness slides and reduce text on those slides