Thread type names through
Fix recover_ signature
Make function translation order deterministic
simplify interface representation
Get at underlying type to account for Named
Provide LLVMValue.String() for simplified printing
Generate Undefs for external globals
Handle range cases more generally
DEBUG: Pause and print entire program