initial commit
better Makefile
many fixes
removed completed TODO
cleaner output; spurious free variables not captured in contexts
preserve tail calls in translation
correctly defunctionalize tall calls
capture free substituion, annoying as usual
semicps bug
k0 is not a metavariable
ensure k comes first
do not require interp to be at the top
CPS produces smaller code.
broken defocusing
formatting cleanup
prettier printing
license and another example
a few primitives
silly warning
use real primitives