WyC: another bug fix, this time for parsing quantifier expressions.