Updated documentation for recursive functions. We are going to force tail recursion for now at least.