You're basically reontologizing the history of Lisp, which is that it was originally S-expressions that were the intermediary language for M-expressions, which were the human representation.

They never quite got around to making M-expressions though, people found working in S-expressions to be pretty fine.

Dylan is sort of a compromise around this area though:

http://en.wikipedia.org/wiki/Dylan_(programming_language)#Sy...