LISP

なんか、>>501 が混乱の元凶という気がするのだけど。
それから Lisp では評価は適用順序でなされるはずですよ?
あなたの説明では (lambda (x) x) の x に直接 a という
字句を入れている。これは正規順序で、ふつうのLispの
実装ではそうなっていないはずです。