>eq は、アドレスを比較して一致を調べる
>ものと認識しているのですが
たぶんその認識で問題ないと思います。

>関数の中で直書きされた a のアドレス？？
最終的にCPUが認識するのは、そうだけど(シンボルaの実体のアドレス)、
私の場合、コードを理解するときは、Lispの世界内だけで考え、
read後の状態、その次にそれをevalした後の状態という順番で考えます。
つまり、脳内インタプリタを作ってあるんですね。

(eq 'a (car lst))において、aのアドレスは、この式のread時に、
aがすでにinternされて(存在して)いれば、そのアドレスを持って来て、
未internならシンボルaが生成されて、それが使われます。

的外れな説明じゃないと、いいけど…