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