WYCS: another bug fix --- this timef for quantifiers.  Now on 31 / 84 with 11 ignores.
Classifying bugs in wycs tests
Not sure what I fixed, but some tests started working.  I think it's because the standard library was not well typed.
WYRL: ok, some more fixes ... and I think it's time to go after #279.