Update test_sawcore_type_errors test and expected output.

Partially-applied recursors are now permitted, and no
longer cause an error during type checking.

Author: brianhuffman

intTests/test_sawcore_type_errors/test.log.good

@@ -21,17 +21,6 @@ Stack trace:
 .:1:0:
 No such data type: ModuleIdentifier Cryptol.String
 
- Recursor not fully applied
-== Anticipated failure message ==
-Stack trace:
-   (builtin) in parse_core
-   test.saw:4:36-4:50 in (callback)
-   (builtin) in fails
-   test.saw:4:17-4:54 in parse
-   test.saw:13:1-13:73 (at top level)
-.:1:0:
-Recursor not fully applied: ModuleIdentifier Prelude.Either
-
  Not a sort (lambda)
 == Anticipated failure message ==
 Stack trace:

intTests/test_sawcore_type_errors/test.saw

@@ -9,8 +9,8 @@ parse "false";
 print "No such data type";
 parse "String#rec Bool True False";
 
-print "Recursor not fully applied";
-parse "Either#rec Bool Nat (\\ (_ : Either Bool Nat) -> Bool) (id Bool)";
+// Partially-applied recursors are permitted
+// print (parse_core "Either#rec Bool Nat (\\ (_ : Either Bool Nat) -> Bool) (id Bool)");
 
 print "Not a sort (lambda)";
 parse "\\(x : True) -> x";