WyC: added support for parsing quantifiers.