Optimized Tail Recursion

Just to point out that this optimisation not just done for tail-recursive calls but it is done for every tail-call. It is a TCO.