I don't have time to review the code, but looks like it works!

non tail-call tagged: 0m13.265s
tail-call tagged: 0m0.052s

(the interpreter isn't fast anyway, but I wanted to implement this!)