parse λ-expressions
print LLVM asm
add main
add monadic label utilities
append rather than prepend new block
clear instructions on termination
keep thisBlockName
parse+generate ifs
add bitCast
not tuple single types
no more Return
factorize out trampoline
filter out void arguments, for LLVM spurns them
type more
print more
parse+generate callCC
parse and generate do blocks
make call bind tighterly than unary ops
call C-wise
parse+generate with-expressions