Tail Recursion Revisited and Nested Recursion