Expose a type equality for Ctypes.ptr.
Add a function ctypes_copy_bytes for building GC-managed blocks.
Add ctypes.stubs subpackage.
Add a module for validating and printing paths.
Add the cstubs project to the Makefile.
C stub generation.
Generate byte code stub, passing arguments using argc/argv.
Omit casts where possible in generated C.
Generate calls to ctypes_copy_bytes for structs and unions.
Distinguish values and computations in the intermediate representation.
Simplify C IR: remove `Constant wrapper
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.