WyC: still updating valid test cases to support new syntax, and to ensure all variables are declared.  Still over 100 tests to go.