Fix decompilation of applied lambdas
Fix decompilation of applied lambdas

The decompiler was expecting a bare AbsN for some reason, so it would
never actually substitute into a lambda term.

unisonweb/platform,unisonweb/platform,unisonweb/platform