Update name of Evaluator Attributes proposal to match new TC39 proposal name

Author: lukewagner

design/proposals/module-linking/Explainer.md

@@ -824,8 +824,7 @@ to recursively extract fields.
 Lastly, for imports of modules, ESM-integration would need the ESM loader to
 provide a fundamentally new way to parse/decode a module without *also*
 instantiating that module. Since this functionality is also useful for JS,
-there is already a proposal to add this to ESM called
-[Evaluator Attributes](https://github.com/lucacasonato/proposal-evaluator-attributes).
+there is already a proposal to add this to ESM called [Import Reflection].
 With this proposal, a module import:
 ```wasm
 (adapter_module
@@ -834,9 +833,10 @@ With this proposal, a module import:
 ```
 could be handled by ESM-integration as if loaded by:
 ```js
-import M from 'foo' as 'module';
+import Foo from "./foo.wasm" as "wasm-module";
 ```
-according to the Evaluator Attributes proposal.
+allowing `Foo` to be subsequently instantiated via existing JS API functions
+like `WebAssemby.instantiate()`.
 
 
 
@@ -848,6 +848,7 @@ according to the Evaluator Attributes proposal.
 [Interface Types]: https://github.com/WebAssembly/interface-types
 
 [ESM-integration]: https://github.com/WebAssembly/esm-integration
+[Import Reflection]: https://github.com/tc39-transfer/proposal-import-reflection
 
 [Core Concepts]: https://webassembly.github.io/spec/core/intro/overview.html#concepts
 [`typeuse`]: https://webassembly.github.io/spec/core/text/modules.html#type-uses