Unify abstract and structured representations.
Expose the camlint type in the public interface.
Finalisers for ctypes-allocated memory.
Tests for ctypes finalisers.