diff --git a/regression/test082.lama b/regression/test082.lama
index 338ee7cb4..c5e5d1972 100644
--- a/regression/test082.lama
+++ b/regression/test082.lama
@@ -3,8 +3,8 @@ local n;
 fun collect_ints_acc (v, tail) {
   local i;
   case v of
-    a@#unboxed ->  Cons (a, tail)
-  | #string  ->  tail
+    a@#val  ->  Cons (a, tail)
+  | #string ->  tail
   | _       ->
      for i := 0, i < v.length, i := i + 1 do
        tail := collect_ints_acc (v[i], tail)
diff --git a/src/Language.ml b/src/Language.ml
index 6f2028f2a..2e2fa9f78 100644
--- a/src/Language.ml
+++ b/src/Language.ml
@@ -326,8 +326,8 @@ module Pattern =
       | c:CHAR                                       {Const  (Char.code c)}
       | %"true"                                      {Const 1}
       | %"false"                                     {Const 0}
-      | "#" %"boxed"                                 {Boxed}
-      | "#" %"unboxed"                               {UnBoxed}
+      | "#" %"box"                                   {Boxed}
+      | "#" %"val"                                   {UnBoxed}
       | "#" %"string"                                {StringTag}
       | "#" %"sexp"                                  {SexpTag}
       | "#" %"array"                                 {ArrayTag}
@@ -1270,7 +1270,7 @@ let run_parser cmd =
     "length";
     "string";
     "case"; "of"; "esac"; "when";
-    "boxed"; "unboxed"; "string"; "sexp"; "array";
+    "box"; "val"; "string"; "sexp"; "array";
     "infix"; "infixl"; "infixr"; "at"; "before"; "after";
     "true"; "false"; "lazy"; "eta"; "syntax"]
   in
diff --git a/src/version.ml b/src/version.ml
index 9efbc8477..d12670fd9 100644
--- a/src/version.ml
+++ b/src/version.ml
@@ -1 +1 @@
-let version = "Version 1.10, 297139c72, Sun Jan 31 19:11:03 2021 +0300"
+let version = "Version 1.10, 919cda555, Sun Jan 31 19:27:00 2021 +0300"
diff --git a/stdlib/Collection.lama b/stdlib/Collection.lama
index 49b11675c..ee97fa0b8 100644
--- a/stdlib/Collection.lama
+++ b/stdlib/Collection.lama
@@ -311,7 +311,7 @@ public fun lookupMemo (mm@[p, m], v) {
     | _    -> x ()
     esac}   
   (fun () {case v of
-     #unboxed -> v
+     #val -> v
    | _ ->
       case findMap (m, v) of
         Some (w) -> w
diff --git a/stdlib/Data.lama b/stdlib/Data.lama
index fd8b1cbea..a62e7038d 100644
--- a/stdlib/Data.lama
+++ b/stdlib/Data.lama
@@ -20,8 +20,8 @@ public infix =?= at < (x, y) {
           esac;
           
           case r of
-            [#unboxed] -> r
-          | [x]        -> walkrec (r, p1, x)
+            [#val] -> r
+          | [x]    -> walkrec (r, p1, x)
           esac
         }
 
diff --git a/stdlib/Ostap.lama b/stdlib/Ostap.lama
index ee22d8637..86133bed6 100644
--- a/stdlib/Ostap.lama
+++ b/stdlib/Ostap.lama
@@ -198,13 +198,13 @@ fun createResult () {
   fun k (x) {
     if log then printf ("Result: %s\n", x.string) fi;
     case x of
-      Succ (val, s)    ->
+      Succ (v, s)    ->
         if log then printf ("Result stream: %s\n", showMatcher (s)) fi;
         if deref (hasValue)
-        then failure (sprintf ("Ostap: ambiguous parsing (%s vs. %s)", deref (value).string, val.string))
+        then failure (sprintf ("Ostap: ambiguous parsing (%s vs. %s)", deref (value).string, v.string))
         else
           hasValue ::= true;
-          value    ::= val
+          value    ::= v
         fi
     | Fail (err, l, c) ->
         if deref (hasError)
diff --git a/stdlib/regression/test21.lama b/stdlib/regression/test21.lama
index 471ee071f..ffc58d205 100644
--- a/stdlib/regression/test21.lama
+++ b/stdlib/regression/test21.lama
@@ -2,8 +2,8 @@ fun collect_ints_acc (v, tail) {
   local i;
   
   case v of
-    a@#unboxed -> Cons (a, tail)
-  | #string    -> tail
+    a@#val  -> Cons (a, tail)
+  | #string -> tail
   | _       ->
      for i := 0, i < v.length, i := i + 1 do
        tail := collect_ints_acc (v[i], tail)
diff --git a/stdlib/regression/test30.lama b/stdlib/regression/test30.lama
index 35c059e60..7e9568089 100644
--- a/stdlib/regression/test30.lama
+++ b/stdlib/regression/test30.lama
@@ -62,8 +62,8 @@ fun genCyclicArrays (n, eq, cross) {
                         
                         if 1 - eq && deref (f) then
                           case b[i] of
-                            #unboxed -> b[i] := b[i] + 1
-                          | _        -> b[i] := 0
+                            #val -> b[i] := b[i] + 1
+                          | _    -> b[i] := 0
                           esac;
                           f ::= true
                         fi