final pass for now - on Execution::ModuleInitializer - seems to work OK - just needs better testing/docs/review (and then maybe another pass of rewriting)