Is sound gradual typing dead? Performance problems in Typed Racket