I think so, yes!
I got to properly understand vau, to realize that its environment arg is never explicitly passed in.
And I got to replace the magical mfn primitive for macros with the far simpler caller-scope. I think that's a good trade.
