Partial prototype for recursive while
Continued progress on tail recursion