typed-racket-test (racket): tests for "typed-racket"
Keywords: main-tests|racket|types