```cameligo group=tezos_specific
-
 let payment : operation =
-  Tezos.transaction unit 100mutez contract
+  Tezos.Operation.transaction unit 100mutez contract
 
 ```
 
@@ -513,32 +513,31 @@ Contract, view and test
 
 
 ```jsligo group=simple_contract_with_view_and_test
-namespace C {
-  export type storage = int;
+type storage = int;
 
+class C {
   @entry
-  const increment = (action: int, store: storage) : [list , storage] => [[], store + action];
+  increment = (action: int, store: storage) : [list , storage] => [[], store + action];
 
   @entry
-  const decrement = (action: int, store: storage) : [list , storage] => [[], store - action];
+  decrement = (action: int, store: storage) : [list , storage] => [[], store - action];
 
   @view
-  const get_storage = (must_be_positive: bool, storage: int): int => {
-    if (must_be_positive && storage < 0) {
+  get_storage = (must_be_positive: bool, storage: int): int => {
+    if (must_be_positive && storage < 0)
       return failwith("Negative value in storage");
-    } else {
+    else
       return storage;
-    }
   }
 };
 
-const testC = do {
-    let initial_storage = 42;
-    let originated = Test.originate(contract_of(C), initial_storage, 0tez);
-    let p : parameter_of C = Increment(1);
-    Test.transfer_exn(originated.addr, p, 1mutez);
-    return assert(Test.get_storage(originated.addr) == initial_storage + 1);
-}
+const testC = (() => {
+  const initial_storage = 42;
+  const originated = Test.Originate.contract(contract_of(C), initial_storage, 0 as tez);
+  const p : parameter_of = ["Increment" as "Increment", 1];
+  Test.Typed_address.transfer_exn(originated.taddr, p, 1 as mutez);
+  return Assert.assert(Test.Typed_address.get_storage(originated.taddr) == initial_storage + 1);
+})()
 ```
 
 
@@ -576,7 +575,7 @@ Natural numbers
 
 
 ```jsligo
-const n: nat = 7n;
+const n: nat = 7 as nat;
 ```
 
 
@@ -621,8 +620,8 @@ Mutez (micro tez)
 
 
 ```jsligo
-const tez_amount: tez = 42tez
-const tez_amount2: tez = tez_amount + 7mutez // == 42000007mutez
+const tez_amount: tez = 42 as tez
+const tez_amount2: tez = tez_amount + (7 as mutez) // == (42000007 as mutez)
 ```
 
 
@@ -664,7 +663,7 @@ Addition
 
 ```jsligo
 const add_int: int = 3 + 4;
-const add_nat: nat = 3n + 4n;
+const add_nat: nat = (3 as nat) + (4 as nat);
 ```
 
 
 Import (better)
@@ -734,8 +728,6 @@ Import (better)
 
 
 ```jsligo skip
-#import "library.jsligo" "MyLibrary"
-const foo = MyLibrary.bar;
 ```
 
 
@@ -756,9 +748,9 @@ Functions (long form)
 
 
 ```jsligo group=b
-const add = (a: int, b: int): int => {
-  let c = a;
-  let d = b;
+function add (a: int, b: int): int {
+  const c = a;
+  const d = b;
   return c + d
 };
 ```
@@ -771,7 +763,7 @@ If/else Statement
 
 ```jsligo
 function if_statement (age : nat): string {
-  if (age >= 16n) return "yes" else return "no"
+  if (age >= (16 as nat)) return "yes"; else return "no";
 }
 ```
 
@@ -783,8 +775,8 @@ Options
 
 ```jsligo
 type middle_name = option;
-const a_middle_name : middle_name = Some("Foo");
-const no_middle_name : middle_name = None();
+const a_middle_name : middle_name = ["Some" as "Some", "Foo"];
+const no_middle_name : middle_name = ["None" as "None"];
 ```
 
 
@@ -827,12 +819,13 @@ Matching on variant cases
 
 
 ```jsligo group=variants
-let a: action = Increment(5)
-const result: int = match(a) {
-  when(Increment(n)): n + 1;
-  when(Decrement(n)): n - 1;
-  when(Reset()): 0;
-}
+const a: action = ["Increment" as "Increment", 5];
+const result: int =
+  $match(a, {
+    "Increment": n => n + 1,
+    "Decrement": n => n - 1,
+    "Reset": () => 0
+  });
 ```
 
 
@@ -865,14 +858,15 @@ Maps
 type prices = map
;
 
 const prices: prices = Map.literal([
-  [10n, 60mutez],
-  [50n, 30mutez],
-  [100n, 10mutez]
+  [10 as nat, 60 as mutez],
+  [50 as nat, 30 as mutez],
+  [100 as nat, 10 as mutez]
 ]);
 
-const price: option = Map.find_opt(50n, prices)
+const price: option = Map.find_opt(50 as nat, prices)
 
-const prices2: prices = Map.update(200n, Some (5mutez), prices)
+const prices2: prices =
+  Map.update(200 as nat, ["Some" as "Some", 5 as mutez], prices)
 ```