Pretty-printing of object and function types.
Expose the camlint type in the public interface.
Finalisers for ctypes-allocated memory.
Tests for ctypes finalisers.