Find a way to make eval tail recursive

[Ceasar]

If we can do this, we can prevent issues with Python's call stack. As it is, the call stack is way too low to evaluate something like Lisp (where, for instance, (range 100) generates a call stack of 100).