Fix function names in JSON error messages.
Remove uses of `unstable/debug` from Typed Racket.