Generation of 'external' declarations from types.
Add bigarray support for external declarations.
Basic read/write stub generation support.
Record properties of global names.