Added documentation for TailRec