python: ast fixes chapter 9

book.tex

@@ -17538,7 +17538,7 @@ $\Rightarrow$
 &
 \begin{minipage}{0.7\textwidth}
 \begin{lstlisting}
-Call('any_tuple_load',[|$e_1'$|, |$e_2'$|])
+Call(Name('any_tuple_load'),[|$e_1'$|, |$e_2'$|])
 \end{lstlisting}
 \end{minipage}
 \\[2ex]\hline
@@ -17741,7 +17741,7 @@ Call(Name('any_tuple_load'), [|$e_1$|,|$e_2$|])
 |$\Rightarrow$|
 Block([Assign([|$t$|], |$e'_1$|), Assign([|$i$|], |$e'_2$|)],
       IfExp(Compare(TagOf(|$t$|), [Eq()], [Constant(2)]),
-            IfExp(Compare(|$i$|, [LtE()], [Call(Name('any_len'), [|$t$|])]),
+            IfExp(Compare(|$i$|, [Lt()], [Call(Name('any_len'), [|$t$|])]),
                   Call(Name('any_tuple_load'), [|$t$|, |$i$|]),
                   Call(Name('exit'), [])),
             Call(Name('exit'), [])))
@@ -17797,7 +17797,7 @@ whose syntax is defined in Figure~\ref{fig:c5-syntax}.
 \begin{array}{lcl}
 \Exp &::=& \CALL{\VAR{\key{'make\_any'}}}{\LS \Atm,\Atm \RS}\\
   &\MID& \key{TagOf}\LP \Atm \RP
-  \MID \key{ValueOf}\LP \Atm , \Type \RP \\
+  \MID \key{ValueOf}\LP \Atm , \FType \RP \\
   &\MID& \CALL{\VAR{\key{'any\_tuple\_load'}}}{\LS \Atm,\Atm \RS}\\
   &\MID& \CALL{\VAR{\key{'any\_tuple\_store'}}}{\LS \Atm,\Atm,\Atm \RS}\\
   &\MID& \CALL{\VAR{\key{'any\_len'}}}{\LS \Atm \RS} \\