WyC: corrected and/or ignored a few test cases which were failing.
WyC: identified a bug which is noted in the new parser relating to quantified expressions.