Removed a bogus provide and two bogus tests.

(Which worked because the same functionality is part of `racket'.)

original commit: 2eb0a9467723ef0c00b6f2e14ee3a7ec9e61b6bd

collects/typed-scheme/types/abbrev.rkt

@@ -7,6 +7,7 @@
          (utils tc-utils)
          racket/list
          racket/match
+         racket/function
          unstable/function
          (except-in racket/contract/base ->* ->)
          (prefix-in c: racket/contract/base)

collects/typed-scheme/types/numeric-tower.rkt

@@ -4,6 +4,7 @@
 
 (require (types abbrev numeric-predicates)
          (rep type-rep)
+         racket/function
          unstable/function
          (for-template racket/base racket/contract racket/flonum (types numeric-predicates)))