added defines around list of defs

book.tex

@@ -3159,6 +3159,7 @@ that does what its name suggests. The program then applies
 \begin{figure}[tbp]
 \begin{lstlisting}
 (program
+  (defines
   (define (map-vec [f : (Integer -> Integer)]
                      [v : (Vector Integer Integer)])
           : (Vector Integer Integer)
@@ -3427,11 +3428,12 @@ obvious ways to improve the translation?
 $\Downarrow$
 \begin{lstlisting}
 (program (t.1 t.2)
-  ((define (add.1 [x.1 : Integer] 
+  (defines 
+    (define (add.1 [x.1 : Integer] 
                     [y.1 : Integer])
-     : Integer (t.3)
-     (assign t.3 (+ x.1 y.1))
-     (return t.3)))
+      : Integer (t.3)
+      (assign t.3 (+ x.1 y.1))
+      (return t.3)))
   (assign t.1 (function-ref add.1))
   (assign t.2 (app t.1 40 2))
   (return t.2))