WyC: ok, basically all the valid tests are now correctly updated.  However, I still have the invalid tests and the benchmarks to do.  Also, there are some bugs related to parsing variable expressions which do not currently permit type patterns.