sxpyr VS as-powerful-as-possible

Note that the rendering on github is ... not the best since it exports things that would normally be hidden. https://github.com/tgbugs/sxpyr/blob/master/docs/paper.org

4. still better than yaml and json

0. https://github.com/tgbugs/sxpyr

I think you lack some fundamental knowledge about what you are talking about. Perhaps if you start here and then read more about Lisp history here? A spoiler: McCarthy introduced first and rest instead of car and cdr early in the Lisp history but it was never widely accepted, and Clojure does not have cons in traditional Lisp sense, which makes sense since it is implemented on top of Java.

Yes, we have already learned it, thanks. If you are interested to learn more about Lisp, the origins and its history I recommend reading As Powerful as Possible by K. Majorinc.

You might wish to take a look at some early lisp history (sorry for the bad English translation, it is not my first nor even second language :)).

Actually, he came up with some Lisp ideas independently of Lambda calculus, search on IPL and FLPL. He said, somewhere, that Church book was so boring, he never finished it. But he was influenced by some ideas and did suggest using lambdas in '58 as in Church calculus, and he mentions it in the paper from 1960. Whether Lisp or at least Scheme happens to be a realization of lambda calculus, or just heavily influenced, I am not so informed to answer, but there is some interesting discussion here or here, or if you are interested to read more, there is a free book on the early history of Lisp.

For the historical points,I have translated one book about early lisp history into English. There is some historical reference mentioned, in chapter 9, about Pure Lisp, on page 93 about translation from Meta-expressions in S-expressions:

If you don't mind my bad English translation, here is a book about Lisp history, touching explicitly on the link list representation McCarthy used (chapter 5.6). Or you can lookup McCarthy's original paper.