Adding tail call recursion support, making if and procedure evaluations more effiecient