Make compileToCore return the module name and type environment along with bindings