compatibility with Racket 5.3.6
changes all figures to span two columns
add example derivation formatting, cut a bunch of stuff and add notes in main paper