use 'v' in the values non-terminal for cons pairs

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/2.diff

@@ -2,14 +2,8 @@
 < (define the-error "no error")
 ---
 > (define the-error "the ((cons number) v) value has been omitted")
-6,7d5
-<          racket/list
-<          racket/contract
-8a7,8
->          racket/contract
->          racket/list
 32,33c32
-<      (cons number)
-<      ((cons number) v))
+<      (cons v)
+<      ((cons v) v))
 ---
->      (cons number))
+>      (cons v))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-10.rkt

@@ -29,8 +29,8 @@
   (v (λ (x τ) M)
      c
      number
-     (cons number)
-     ((cons number) v))
+     (cons v)
+     ((cons v) v))
   (E hole
      (E M)
      (v E)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt

@@ -3,9 +3,9 @@
 (define the-error "the ((cons number) v) value has been omitted")
 
 (require redex/reduction-semantics
-         racket/match
-         racket/contract
          racket/list
+         racket/contract
+         racket/match
          "tut-subst.rkt")
 
 (provide (all-defined-out))
@@ -29,7 +29,7 @@
   (v (λ (x τ) M)
      c
      number
-     (cons number))
+     (cons v))
   (E hole
      (E M)
      (v E)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-3.rkt

@@ -29,8 +29,8 @@
   (v (λ (x τ) M)
      c
      number
-     (cons number)
-     ((cons number) v))
+     (cons v)
+     ((cons v) v))
   (E hole
      (E M)
      (v E)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-4.rkt

@@ -29,8 +29,8 @@
   (v (λ (x τ) M)
      c
      number
-     (cons number)
-     ((cons number) v))
+     (cons v)
+     ((cons v) v))
   (E hole
      (E M)
      (v E)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-5.rkt

@@ -29,8 +29,8 @@
   (v (λ (x τ) M)
      c
      number
-     (cons number)
-     ((cons number) v))
+     (cons v)
+     ((cons v) v))
   (E hole
      (E M)
      (v E)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-6.rkt

@@ -29,8 +29,8 @@
   (v (λ (x τ) M)
      c
      number
-     (cons number)
-     ((cons number) v))
+     (cons v)
+     ((cons v) v))
   (E hole
      (E M)
      (v E)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-7.rkt

@@ -29,8 +29,8 @@
   (v (λ (x τ) M)
      c
      number
-     (cons number)
-     ((cons number) v))
+     (cons v)
+     ((cons v) v))
   (E hole
      (E M)))
 

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-8.rkt

@@ -29,8 +29,8 @@
   (v (λ (x τ) M)
      c
      number
-     (cons number)
-     ((cons number) v))
+     (cons v)
+     ((cons v) v))
   (E hole
      (E M)
      (v E)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-9.rkt

@@ -29,8 +29,8 @@
   (v (λ (x τ) M)
      c
      number
-     (cons number)
-     ((cons number) v))
+     (cons v)
+     ((cons v) v))
   (E hole
      (E M)
      (v E)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-base.rkt

@@ -29,8 +29,8 @@
   (v (λ (x τ) M)
      c
      number
-     (cons number)
-     ((cons number) v))
+     (cons v)
+     ((cons v) v))
   (E hole
      (E M)
      (v E)))