#lang racket/base
(provide underscore-allowed) 
(define underscore-allowed '(any number string variable variable-not-otherwise-mentioned natural integer real))

#lang racket/base
(provide underscore-allowed) 
(define underscore-allowed '(any number string variable variable-not-otherwise-mentioned natural integer real boolean))

Make sure the Redex pattern language's 'boolean' is rendered as a nonterminal
Make sure the Redex pattern language's 'boolean' is rendered as a nonterminal
