"Binding Indirection"

If environments are first-class values (as I just suggested), then implementing this should become pretty easy, along the lines of:

foo: func [x] [
    env: get-current-environment
    super: parent env
    print ["local" x "super" super.x]
]