Remove unused variable.
Expose first-class values for ML types used to view primitive types.
Coercions between identical primitive types.

This is useful for exposing the representation of abstract types:

  # coerce clock_t int64_t;;
  - : clock_t -> int64 = <fun>
Simplify pointer coercion.
Generation of 'external' declarations from types.
Add bigarray support for external declarations.
Basic read/write stub generation support.
Record properties of global names.