Modified (further) how the compilable context is generated to make sure types are visited during traversal.