Generate calls to ctypes_copy_bytes for structs and unions.
Distinguish values and computations in the intermediate representation.
Omit needless parentheses in generated C.
Add a single header file with everything needed by generated stubs.
Generation of 'external' declarations from types.
Add bigarray support for external declarations.
Basic printer for generated ML code.
Handle external names in generated ML stubs.
Add interface for ml_stubs module.
Generate wrapper functions for ml stubs.
Disable 'noalloc' for the moment.

We need an interface for specifying interaction with callbacks.
Disable the "float" attribute for the moment.
Give views and structured types an identity.
A registry for views and structured types.
Resolve views and structured types using the registry.
Register both types and values in the registry.
ML signature generation.
Prettier printing of generated ML: omit parentheses where possible.
Free structs and unions returned by value.
Stub generation tests.