Generate 'external' declarations and wrappers from types.
A module for noalloc / float analysis.
Give views and structured types an identity.
A map from types to public names for types.
Resolve views and structured types using the registry.
ML signature generation.
Free structs and unions returned by value.
A module of types and functions used in generated bindings.
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.