Pretty-print generated ML.
Clarify code for generating 'external' types.
More shuffling functions around.
Stub generation tests.
Test for calling atomic builtins via stub generation.
Test calling type-generic macros via generated stubs.