Is sound gradual typing dead?