Add TR helpers for new Racket error notation
Convert check-below.rkt error msgs to new format