that's basically implicit parameters, the typed, well behaved version of dynamic scoping.

Yep, I believe that's what Scala called that.

And I think we need something like this to get people off globals.