Currently Typed/Racket does not recognized submodules.<br><br>  Type Checker: cannot typecheck unknown form : (module util typed/racket/base ...<br><br>Will they be supported in the near future.<br><br>Thanks,<br><br>Ray<br>