Realized a simpler way of implementing tfoldl.

In effect, previously, the internal functions were re-implementing a clause of
top-level tfoldl. This commit corrects that.

Signed-off-by: Brian L. Troutwine <brian@troutwine.us>