typos

book.tex

@@ -5931,7 +5931,8 @@ $\Rightarrow$
 &
 \begin{minipage}{0.6\textwidth}
 \begin{lstlisting}
-(lambda: ([|$x_1$|:Any]|$\ldots$|):Any |$e'$|)
+(inject (lambda: ([|$x_1$|:Any]|$\ldots$|):Any |$e'$|) 
+        (Any|$\ldots$|Any -> Any))
 \end{lstlisting}
 \end{minipage}
 \\[2ex]\hline
@@ -5977,8 +5978,8 @@ $\Rightarrow$
 \begin{minipage}{0.6\textwidth}
 \begin{lstlisting}
 (if (eq? |$e'_1$| (inject #f Boolean))
-   |$e'_2$|
-   |$e'_3$|)
+   |$e'_3$|
+   |$e'_2$|)
 \end{lstlisting}
 \end{minipage}
 \\[2ex]\hline
@@ -5992,7 +5993,7 @@ $\Rightarrow$
 &
 \begin{minipage}{0.6\textwidth}
 \begin{lstlisting}
-(eq? |$e'_1$| |$e'_2$|)
+(inject (eq? |$e'_1$| |$e'_2$|) Boolean)
 \end{lstlisting}
 \end{minipage}
 \\[2ex]\hline
@@ -6007,7 +6008,7 @@ $\Rightarrow$
 \begin{minipage}{0.6\textwidth}
 \begin{lstlisting}
 (let ([tmp |$e'_1$|])
-   (if (eq? t (inject #f Boolean))
+   (if (eq? tmp (inject #f Boolean))
       tmp
       |$e'_2$|))
 \end{lstlisting}