A CPSed lambda calculus interpreter that uses Harlan lambdas.

Took some fixes in closure free variable handing, and we finally had to insert function prototypes.

Fixes #37.