Fix recover_ signature
Make function translation order deterministic
Simplify interface representation, avoid recursion
Get at underlying type to account for Named
Generate Undefs for external globals