> Hm, I guess there have been quite a few changes. Most I knew about, but
> what does `-typecheck expert' do, and what does `-keep dot' do?
It's -type-check {false|true} and it turns on type checking of ILs, which is off
by default.
-keep dot saves dot files for the call graph of the whole program and the
control flow graph of each CPS function (like the one I sent earlier).