A module of types and functions used in generated bindings. (WIP: need to expose primitive constructors this way as well).
Add a single header file with everything needed for stub generation.
Pretty printing for generated ML.