Prepare for propagating types in the compilation context.