Maybe machine language is the formless chaos and Lisp is the purest manifestation of order. All other languages are points in between.

That makes no sense without specifying what Lisp actually is.

S-expressions are a generic tree, that's not a language, that's just syntax.

Is it CL, Clojure, scheme?

Like these don't even share a basic object model, it's like getting the AST of Haskell and C and then talking about how good that AST is.

See Cardelli's breakdown in his famous article "Typeful programming":

http://www.lucacardelli.name/Papers/TypefulProg.pdf

Page 52 perhaps.