Add letrec; decompile Y into recursive let