Add boolean patterns to BNF grammar