asm likes its variables declared, for which I need to compute what
variables to declare by inspecting the body.  The latter looks like it
logically does with alpha renaming.
Right.  Keep the unit tests up to date with intentional syntax changes.
Backport the iteration count from the demo given at the user group
talk.
Automate and explain the rewrite of the output of compiling the
example program (to circumvent DVL/FOL's crippled FFI).
Remove embarassing discussion of syntax errors from the instructions,
because they have all been fixed (or hacked around, in one case).