There was a syntax error.
I was expecting one of these:
(λt.+t+t+(λh+f+n.+n+h+f+n)+t+t+t)+(λf+x.+f+(f+x))"
(λt.+t+t+(λh+f+n.+n+h+f+n)+t+t+t)+(λf+x.+f+(f+x))"
(λt.+t+t+(λh+f+n.+n+h+f+n)+t+t+t)+(λf+x.+f+(f+x))"
(λt.+t+t+(λh+f+n.+n+h+f+n)+t+t+t)+(λf+x.+f+(f+x))"
(λt.+t+t+(λh+f+n.+n+h+f+n)+t+t+t)+(λf+x.+f+(f+x))"
(λt.+t+t+(λh+f+n.+n+h+f+n)+t+t+t)+(λf+x.+f+(f+x))"