So there is only one test case that is failing.

It's the mutually recursive one.

I used a kind of sneaky way to do named-let.
A while ago I wrote an extension for my parser that does
named-let->letrec, so I just had the parser do the conversion.