Continued progress on tail recursion