Error when using underscore in a variant of deftype

[ifigueroap]

The error comes from the new interaction with Redex:

define-language: before underscore must be either a non-terminal or a built-in pattern, found cbae in cbae_num in: cbae_num