Provide -> in typed-scheme/no-check.

- Closes PR 10882

original commit: 90eeef60d73229217f87b847b38d180e6a929301

collects/tests/typed-scheme/succeed/typed-scheme-no-check-arrow.rkt

@@ -0,0 +1,3 @@
+#lang typed-scheme/no-check
+(: foo : Void -> Void)
+(define (foo x) x)

collects/typed-scheme/no-check.rkt

@@ -3,10 +3,11 @@
 (require 
  (except-in "private/prims.rkt"
             require/typed require/opaque-type require-typed-struct)
+ "private/base-types-extra.rkt"
  (for-syntax scheme/base syntax/parse syntax/struct))
 (provide (all-from-out scheme/base)
 	 (all-defined-out)
-	 (all-from-out "private/prims.rkt"))
+	 (all-from-out "private/prims.rkt" "private/base-types-extra.rkt"))
 
 
 (define-syntax (require/typed stx)