`redex-check` doesn't bind patterns normally

[florence]

In the program

#lang racket
(require redex/reduction-semantics)
(define-language L
  (n ::= 1))

(redex-check
 L n
 n)

I get the error n: unbound identifier pointing at what should be the binding occurence of n in the redex-check.

I would expect redex-check to behave more line define-term and give an error like:

n: illegal use of syntax
  value at phase 1: #<defined-term> in: n

pointing at the use of n