[racket] typed/rackunit

Hi,

just a short question regarding testing in typed racket - might it be that I can use 

#lang typed/racket
(require typed/rackunit)

to write "simple checks" with check-equal? etc., but that test-case. test-suite etc. are not intended for general usage yet
(although they seem to be provided in typed/rackunit/main)?

(E.g. for test-case, I get an error like "parameterize: bad syntax in: (parameterize ((current-check-handler raise) (current-check-around check-around)))").

I'm just asking because if I knew that those things aren't ready yet, but will be provided some time, I would prefer temporarily removing the "surrounding forms" and just having a set of check-equal?'s to running/trying to run the tests with no-check.


Many thanks in advance,
Sigrid