WYCS: bug fixes for parsing quantifiers.