More progress on parsing. Parsing nested quantifiers still produces a bug