[pedroo]

> (tail call elimination is different than proper tail calls).

I'm not sure I follow. What is the distinction here?