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".