Simple "variable" mechanism with nearest-definition-wins semantics.