update the testsuite to the latest state of the compiler/interpreter

testsuite/runtime/eval/eval.gfs.gold

@@ -1,4 +1,4 @@
-\x -> x 1
+\v0 -> v0 1
 
 ?1 1
 
@@ -6,7 +6,7 @@
 
 f 1 2
 
-\x -> x
+\v0 -> v0
 
 ?1
 
@@ -18,7 +18,7 @@ f 1 2
 
 g 0
 
-\x -> g x
+\v0 -> g v0
 
 g ?1
 
@@ -44,7 +44,7 @@ dec (succF zeroF)
 
 dec zeroF
 
-\x -> dec x
+\v0 -> dec v0
 
 dec ?1
 
@@ -60,5 +60,5 @@ dec2 0 err
 
 succ err
 
-\x -> dec (dec x)
+\v0 -> dec (dec v0)
 

testsuite/runtime/linearize/brackets.gfs.gold

@@ -1,28 +1,28 @@
-(S (E (String ?1)) is even)
+(S:2 (E:1 (_:0 ?1)) is even)
 
 
-(S exists (S (String x)) such that (S (S (E (String x)) is even)))
+(S:3 exists x such that (S:2 (E:1 (_:0 x)) is even))
 
 
-(S (E a))
+(S:1 (E:0 a))
 
 
-(S (E aa) a)
+(S:1 (E:0 aa) a)
 
 
-(S (E a) b)
+(S:1 (E:0 a) b)
 
 
-(S (String abcd) is string)
+(S:1 (String:0 abcd) is string)
 
 
-(S (Int 100) is integer)
+(S:1 (Int:0 100) is integer)
 
 
-(S (Float 12.4) is float)
+(S:1 (Float:0 12.4) is float)
 
 
-(S (String xyz) is string)
+(S:1 (String:0 xyz) is string)
 
 
 cannot linearize

testsuite/runtime/paraphrase/lambda.gfs.gold

@@ -1,10 +1,10 @@
-\x -> x
+\v0 -> v0
 
 1
 
-\x -> x
+\v0 -> v0
 
-\x -> 2
+\v0 -> 2
 
 1
 

testsuite/runtime/typecheck/typecheck.gfs.gold

@@ -19,13 +19,13 @@ Expression: <\m, n -> vector (plus m n) : (m : Nat) -> (n : Nat) -> Vector (plus
 Type:       (m : Nat) -> (n : Nat) -> Vector (plus m n)
 
 Expression: mkMorph (\x -> succ zero)
-Type:       Morph (\x -> succ zero)
+Type:       Morph (\v0 -> succ zero)
 
 Expression: idMorph (mkMorph (\x -> x))
 Type:       Nat
 
-Couldn't match expected type Morph (\x -> x)
-       against inferred type Morph (\x -> succ zero)
+Couldn't match expected type Morph (\v0 -> v0)
+       against inferred type Morph (\v0 -> succ zero)
 In the expression: mkMorph (\x -> succ zero)
 Expression: <append zero (succ zero) : Vector zero -> Vector (succ zero) -> Vector (succ zero)>
 Type:       Vector zero -> Vector (succ zero) -> Vector (succ zero)