Implement Lexer's tree export
Add quantifier support