Did I say "paper"?  I meant "TR".
Take advantage of new Redex features in Racket 5.3.1.

In particular, there's "define-extended-judgment-form", and there's
the ability to label rules with names.
Remove obsolete comment.
Bring README up to date.