Fix TR docs wrt to `racket/function' change, close evaluators, fix

copy/paste typo in `thunk' docs.

collects/scribblings/reference/procedures.scrbl

@@ -503,7 +503,7 @@ Returns a procedure that accepts any arguments and returns @scheme[v].
 any number of inputs and keyword arguments.
 
 @defexamples[
-#:eval the-eval
+#:eval fun-eval
 (define th1 (thunk (define x 1) (printf "~a\n" x)))
 (th1)
 (th1 'x)

collects/typed-scheme/scribblings/more.scrbl

@@ -2,7 +2,8 @@
 
 @begin[(require "utils.rkt"
 		scribble/core scribble/eval
-		(for-label (only-meta-in 0 typed/racket) mzlib/etc))]
+		(for-label (only-meta-in 0 typed/racket)
+                           (only-in mzlib/etc let+)))]
 
 @title[#:tag "more"]{Specifying Types}
 
@@ -17,7 +18,7 @@ language, allowing types to be specified and used.
 @section{Type Annotation and Binding Forms}
 
 In general, variables in Typed Racket must be annotated with their
-type.  
+type.
 
 @subsection{Annotating Definitions}
 
@@ -159,3 +160,5 @@ Any type can be given a name with @racket[define-type].
 
 Anywhere the name @racket[NN] is used, it is expanded to
 @racket[(Number -> Number)].   Type names may not be recursive.
+
+@(close-eval the-eval)

collects/typed-scheme/scribblings/types.scrbl

@@ -2,7 +2,7 @@
 
 @begin[(require "utils.rkt"
 		scribble/core scribble/eval
-		(for-label (only-meta-in 0 typed/racket) mzlib/etc))]
+		(for-label (only-meta-in 0 typed/racket)))]
 
 @(define the-eval (make-base-eval))
 @(the-eval '(require typed/racket))
@@ -254,6 +254,7 @@ The new type constructor @racket[All] takes a list of type
 variables and a body type.  The type variables are allowed to
 appear free in the body of the @racket[All] form.
 
+@(close-eval the-eval)
 
 @include-section["varargs.scrbl"]