conversion to typed racket