Restore doc examples that broke in 6.2

Closes issue #264

typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl

@@ -691,7 +691,6 @@ but provides additional annotations to assist the typechecker.
   prompt tag. If the wrapped value is used in untyped code, a contract error
   will be raised.
 
-  @;{
   @ex[
     (module typed typed/racket
       (provide do-abort)
@@ -708,8 +707,8 @@ but provides additional annotations to assist the typechecker.
         (default-continuation-prompt-tag)
         (code:comment "the function cannot be passed an argument")
         (λ (f) (f 3))))
-    (require 'untyped)
-  ]}
+    (eval:error (require 'untyped))
+  ]
 }
 
 @defform[(#%module-begin form ...)]{