WyC: tidied up the invalid test cases to remove the "$" symbold from the ensures and type declarations.