TODO repeated subexpressions optional terminal matches (look at top node in AST) remove OpCaptures from terminals