Generation of 'external' declarations from types.
Add bigarray support for external declarations.
Checkpoint.