The point of the abstractions presented in the essay is that they are under the programmer's control (write code to debug code isn't that new), so they only see as much as they want to. This is in contrast to automatic methods that show everything and are too noisy.
Scaling will perhaps come with time, by which I mean managed time. It is a nice goal for next gen languages.
