WyC: bug fix for parsing quantifier expressions.