よくわからない→これま末尾再帰の最適化が効いていないに違いない、ね…
SBCL 使ったことねーけど cons セルの消費は write のI/O 周りとか boxing だろ？

正直、末尾再帰に納得しても #' とか健全マクロとかで「〜は○○できないんですか？僕の自作 Scheme なら…」
とか無限ループになりそうなのであなたは Scheme 使っていたほうがいいと思います。