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.