Adapt test output to new primitives.

tests/issues/issue226.icry.stdout

@@ -81,6 +81,7 @@ Symbols
       {first, last, bits} (fin last, fin bits, last >= first,
                            bits >= width last) =>
         [1 + (last - first)][bits]
+    fromZ : {n} (fin n, n >= 1) => Z n -> Integer
     groupBy :
       {each, parts, elem} (fin each) =>
         [each * parts]elem -> [parts][each]elem
@@ -124,6 +125,7 @@ Symbols
       {front, back, elem} (fin front) =>
         [front + back]elem -> [front]elem
     toInteger : {a} (fin a) => [a] -> Integer
+    toZ : {n} (fin n, n >= 1) => Integer -> Z n
     trace : {n, a, b} (fin n) => [n][8] -> a -> b -> b
     traceVal : {n, a} (fin n) => [n][8] -> a -> a
     transpose : {a, b, c} [a][b]c -> [b][a]c

tests/issues/issue290v2.icry.stdout

@@ -4,7 +4,7 @@ Loading module Main
 
 [error] at ./issue290v2.cry:2:1--2:19:
   Unsolved constraints:
-    a`857 == 1
+    a`859 == 1
       arising from
       checking a pattern: type of 1st argument of Main::minMax
       at ./issue290v2.cry:2:8--2:11

tests/mono-binds/test04.icry.stdout

@@ -25,8 +25,8 @@ Loading module test04
 [error] at ./test04.cry:3:19--3:21:
   Type mismatch:
     Expected type: ()
-    Inferred type: [?n33]
+    Inferred type: [?p33]
   where
-  ?n33 is type parameter 'bits'
+  ?p33 is type parameter 'bits'
           of literal or demoted expression
           at ./test04.cry:3:19--3:21