WyC: fixed up test cases which were incorrect with respect to the declared type of a variable.