Stack safety

[natefaubion]

I think it should be fairly easy to make this stack safe, the only problem is the existential eliminator prevents it from actually being tail recursive. We need to make it unsafe to make it safe :P