`require/typed/provide` and `unsafe-require/typed/provide` do not support all forms `require/typed` does like doc suggests

[philnguyen]

What version of Racket are you using?

7.2

What program did you run?

#lang typed/racket/base

(require/typed/provide racket/base
  [(add1 inc) (Integer -> Integer)])

What should have happened?

Program compiles, as doc for require/typed/provide suggests:

(require/typed/provide m rt-clause ...)

I don't know if this is a bug or it is intended and the doc is just imprecise.

If you got an error message, please include it here.

; require/typed/provide: expected identifier or expected one of these literals: #:struct or #:opaque
;   at: (add1 inc)
;   in: (require/typed/provide racket/base ((add1 inc) (Integer -> Integer)))