Working on improving the AST generator. Got it to generate simple quantifiers such as +, *, and ?. Need to work on complex quantifiers, such as bounds quantifiers.