[dapperdrake]

That is why Doug Hoyte builds NAMED-LET.

[cryptonector]

Yes, quite. In Let Over Lambda he builds a code walking named-let macro that transforms tail-recursive loops to iterative loops.