It seems like you could work around it. Have a function eval that evaluates each function called. Each function is modified such that it returns either enough

It seems like you could work around it. Have a function eval that evaluates each function called. Each function is modified such that it returns either enough information for eval to make the tail call or the value returned by the function which eval would return.