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