doc: Fix some typos

pkgs/racket-doc/scribblings/reference/eval-model.scrbl

@@ -351,7 +351,7 @@ the way they are implemented and used: A @tech{character} in the
 Latin-1 range is always reachable, because @racket[equal?] Latin-1
 characters are always @racket[eq?], and all of the Latin-1 characters
 are referenced by an internal module. Similarly, @racket[null],
-@racket[#t], @racket[#f], @racket[eof], and @|void-const| and are
+@racket[#t], @racket[#f], @racket[eof], and @|void-const| are
 always reachable. Values produced by @racket[quote] remain reachable
 when the @racket[quote] expression itself is reachable.
 

pkgs/racket-doc/scribblings/reference/for.scrbl

@@ -346,7 +346,7 @@ An @racket[accum-id] and a binding from a @racket[for-clause] can be
 the same identifier. In that case, the @racket[accum-id] binding
 shadows the one in a @racket[for-clause] within the
 @racket[body-or-break] and @racket[body] forms (even though,
-syntactically, a @racket[for-clause] is closer to to the body).
+syntactically, a @racket[for-clause] is closer to the body).
 
 @examples[
 (for/fold ([sum 0]

pkgs/racket-doc/scribblings/reference/syntax-model.scrbl

@@ -85,7 +85,7 @@ the identifier refers to the binding whose set is a superset of all
 others; if no such binding exists, the reference is ambiguous (and triggers a syntax
 error if it is parsed as an expression). A binding @deftech{shadows}
 any @tech{binding} (i.e., it is @deftech{shadowing} any @tech{binding}) 
-that the same symbol but a subset of scopes.
+with the same symbol but a subset of scopes.
 
 For example, in
 

pkgs/racket-doc/syntax/scribblings/parse/intro.scrbl

@@ -336,7 +336,7 @@ because the check is associated with the entire
 have the same progress, and yet only the first one is reported. The
 difference between the two is that the first error is from a
 @emph{post-traversal} check, whereas the second is from a normal
-(i.e., pre-traversal) check. A post-traveral check is considered to
+(i.e., pre-traversal) check. A post-traversal check is considered to
 have made more progress than a pre-traversal check of the same term;
 indeed, it also has greater progress than any failure @emph{within}
 the term.

pkgs/racket-doc/syntax/scribblings/parse/patterns.scrbl

@@ -25,7 +25,7 @@ table. There are four main kinds of syntax pattern:
 @item{@tech{@Apatterns}, abbreviated @svar[A-pattern]}
 ]
 A fifth kind, @tech{@Lpatterns} (abbreviated
-@svar[L-pattern]), is a just a syntactically restricted subset of
+@svar[L-pattern]), is just a syntactically restricted subset of
 @tech{@Spatterns}.
 
 When a special form in this manual refers to @svar[syntax-pattern]