require-typed-check (racket): require/typed, but skips contracts on already-typed imports
Keywords: contracts|require|typed-racket