more L^mon cleanups

book.tex

@@ -11729,10 +11729,10 @@ pass, which is \LangAlloc{} in monadic normal form.
 \newcommand{\LtupMonadASTPython}{
 \begin{array}{rcl}
 \Exp &::=& \GET{\Atm}{\Atm} \\
-     &\MID& \LEN{\Exp}\\
+     &\MID& \LEN{\Atm}\\
    &\MID& \ALLOCATE{\Int}{\Type}
-     \MID \GLOBALVALUE{\Var}\RP\\
-\Stmt{} &::=& \ASSIGN{\PUT{\Atm}{\Atm}}{\Exp} \\
+    \MID \GLOBALVALUE{\Var} \\
+\Stmt{} &::=& \ASSIGN{\PUT{\Atm}{\Atm}}{\Atm} \\
    &\MID& \COLLECT{\Int}
 \end{array}
 }