removed ambiguity from the cont-mark-transform's "a" non-terminal

Redex no longer has extra checks to eliminate redundant matches
(as those checks are prohibitively expensive for the lambdajs model)
so redundancy in the grammar can, when combined with context
decomposition or named patterns, lead to significant slowdowns

collects/redex/examples/cont-mark-transform/SL-syntax.rkt

@@ -9,6 +9,8 @@
      (call/cc w))
   (v ....
      (κ (hide-hole E)))
+  (a ....
+     (κ (hide-hole E)))
   
   (D (w-c-m v v D)
      hole

collects/redex/examples/cont-mark-transform/TL-syntax.rkt

@@ -13,7 +13,9 @@
      (abort e))
   
   (l [(K x ...) e])
-  (a w 
+  (a (λ (x ...) e)
+     σ
+     x
      (K a ...))
   (w v
      x)
@@ -28,3 +30,6 @@
      (Σ [σ ↦ v]))
   
   (K string))
+
+
+