- Gating checks for debugging / profiling can be moved to within the instrumentation or makeReadOnly functions. This simplifies codegen and reduces code bloat. - Warn if importing conflicting identifiers - Aggregate imports from the same source