despens: The border between developers and users is marked by the difference between those who can read, understand and manipulate source code and those who cannot. Generally readable source code is something that works fine for descriptive languages that do not execute (e.g. pure HTML and CSS). Once you enter the level of turingcompleteness, this demand is misguided, because there is no fixed level of abstraction or meaningful standard on coding style.
Instead it should be demanded that languages are available to users that are mostly descriptive and still very powerful, or that a system is based on a certain programming paradigm, for instance the LISP machine or smalltalk or, like the original concept of OLPC, python.