(Kernel DSL) Revert esc change toplevel, include GlobalRef to handle evaluation ambiguity in modules/submodules.

[femtomc]

No description provided.

[ztangent]

Looks great, just suggested a few style changes for greater readability!

[ztangent]

Just have a minor comment about whether to make the GlobalRefs const, since they are global variables now. Fine either way though!

[ztangent]

Oh, the other thing we should do is add a test case that makes sure the error you ran into earlier (of using a custom proposal) doesn't happen again!

[femtomc]

Re -- I'll address the const issue and think up a test case!

[ztangent]

Looks great to me! For the test cases, maybe we should also test a kernel that uses a custom proposal, to ensure we don't reintroduce that bug again?

[femtomc]

@ztangent I don't think the issue was using a custom proposal in MH iirc (?) One of the issues was argument name capture.

Or, do you mean -- capturing the name of the proposal in the kernel at module scope?

I can (and should) easily add the latter.

[ztangent]

capturing the name of the proposal in the kernel at module scope

Yup, this is what I meant! Because it's the issue that came up when we tried not-escaping everything.