racket-typed-colorize