I think access to the global module state is the most critical for an extension, probably by far. A direct pointer to the interpreter state from every type feels like an optimisation that may be premature at this point. Modules should have that reference, though, as long as we assume a unique interpreter for each module instance (which we currently do).