Split static semantics (types and type formatting) out of ctypes.ml
Split out dynamic semantics (execution, value printing, views).
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.