Evaluator: descriptor projection (parity with compiled)
Goal
The evaluator projects the descriptor into environment bindings, closing the current eval-vs-compiled divergence where the evaluator’s import path never bound imported newtype/variant constructors.
Implementation Sketch
Consume the descriptor in the evaluator import path (compiler/oric/src/eval/module/import.rs); bind imported newtype + explicitly-imported variant constructors into the consumer environment the same way register_newtype_constructors / register_variant_constructors bind them for the local module. No same-named function may shadow a bound constructor (the descriptor decides, not the eval if/else-if order).
Spec References
Proposal Semantics (Newtype constructor binding mirrors register_newtype_constructors; Backend neutrality); Motivation (the eval-vs-compiled divergence this closes).
Work Items
- Evaluator import path consumes the descriptor and binds imported newtype + explicitly-imported variant constructors into the consumer environment; descriptor decides binding (no function-shadows-constructor).