Feature request: Support functions where some recursive calls are non-tail recursive.

[aDifferentJT]

It's often nice to eliminate the tail call in a function that can also call itself in non-tail position, I don't believe that this is supported by this library, and I can see no fundamental reason why it couldn't be, though I confess my own ignorance of the subtleties of this problem.