>>312
(foo: x y) => foo は、現在地から相対的に見て、x 番目の深さの lexical frame の、
y 番目のエントリーを参照するという意味で、

(eq?: 1 0) => eq? は、現在地から相対的に見て、1 番目の深さの lexical
frame（つまり global frame）の、0 番目のエンティティを参照という事で、

eq? や cons はプログラムの中に定義が含まれていないので、 global frame に
あるものとして、その中で順番付けしており、

a, b, c は lambda の引数として与えられている値なので、その引数の lexical
address を引いていると、、、

lambda は lexical frame を作る側だから除外、
if はスペシャルフォームだから除外、

という事なのかな。