WyC: Tidied up some test cases.
Several test cases were failing to compile for various reasons, mostly
because of bugs (e.g. #406).  I've now tidied this up by @Ignoring them
and/or fixing what was necessary.