Split static semantics (types and type formatting) out of ctypes.ml
Split out dynamic semantics (execution, value printing, views).
Remove some unnecessary type ascriptions.
Type printing module.
Value printing module.
Split out and rename Identify_closure module.
Split out stubs used only in the static semantics.
Split out stubs used only in the dynamic semantics.
Split out stubs for standard views.
Improve the type of seal.
Keep basic type details (size, alignment, name) in OCaml, not in C.
Distinguish bufferspec and callspec; move some types out of Ctypes_raw.
Split string/pointer stubs into raw_pointer_stubs.c
Merge pull request #54 from yallop/modularisation

Modularisation: split static and dynamic semantics
Documentation for the Closure_properties module.
Merge pull request #57 from yallop/closure_properties-doc

Documentation for the Closure_properties module.
Split compute_union_padding function.
Move arg_type to Static.
Perform bufferspec building entirely in the seal function.
Simplify the sealing of unpassable struct types.