generate closures
parse λ-expressions
print LLVM asm
add main