言ってることがよくわからない。
その３段階はexclusiveなのか。

思想を語りたいならうまいこと関数型プログラミングのスレに
誘導したほうがいいと思う。

関数型である（とみなせる）ということだけが
lisp/schemeの本質ではないのだから。