Such is life. I'm not a language theorist, but I think you've more or less hit the nail on the head. Call by value and call by reference are identical in the absence of mutability. Since the dsssl spec. is based upon Scheme, it is eager, and so this will cause an infinite loop. No, this is the Great Theater of Life.
Admission is free, but the taxation is mortal.
You come when you can, and leave when you must. The show is continuous.