The doc-string for `trampoline` starts "trampoline can be used to convert algorithms requiring mutual
recursion without stack consumption. ". This is inaccurate: `trampoline` applies only to mutual tail recursion.
Replace this with "trampoline can be used to convert algorithms employing mutual tail recursion into a form that does not consume stack".