Code printing module.
Stub of runtime.
reconstruction -> type_reconstruction
Funcs to toplevel instead of rts.