diff --git a/auto-allocate.md b/auto-allocate.md
index c3274dbc..df6f126e 100644
--- a/auto-allocate.md
+++ b/auto-allocate.md
@@ -10,7 +10,7 @@ Currently, only function imports are supported.
 Calling an imported host function will result in `hostCall(MODULE_NAME, FUNCTION_NAME, FUNCTION_TYPE)` being left on the `instrs` cell.
 
 ```k
-require "wasm-semantics/wasm-text.md"
+requires "wasm-semantics/wasm-text.md"
 
 module WASM-AUTO-ALLOCATE
     imports WASM-DATA-TOOLS
diff --git a/data/bytes-type.k b/data/bytes-type.k
index 13f050ba..6686bb36 100644
--- a/data/bytes-type.k
+++ b/data/bytes-type.k
@@ -1,6 +1,6 @@
 
 module BYTES-TYPE
-  import BYTES
+  imports BYTES
 
   syntax WrappedBytes
   syntax BYTES
diff --git a/data/int-type.k b/data/int-type.k
index 43bd31ab..788695e3 100644
--- a/data/int-type.k
+++ b/data/int-type.k
@@ -1,6 +1,6 @@
 
 module INT-TYPE
-  import INT
+  imports INT
 
   syntax WrappedInt
   syntax Int
diff --git a/data/list-bytes.k b/data/list-bytes.k
index 23979ef2..c02fa2e1 100644
--- a/data/list-bytes.k
+++ b/data/list-bytes.k
@@ -1,4 +1,4 @@
-require "bytes-type.k"
+requires "bytes-type.k"
 
 module LIST-BYTES
   imports private INT-SYNTAX
diff --git a/data/map-bytes-to-bytes.k b/data/map-bytes-to-bytes.k
index 3fcc48d8..81c4278a 100644
--- a/data/map-bytes-to-bytes.k
+++ b/data/map-bytes-to-bytes.k
@@ -1,6 +1,6 @@
 
-require "bytes-type.k"
-// require "bytes-type.k"
+requires "bytes-type.k"
+// requires "bytes-type.k"
 
 module MAP-BYTES-TO-BYTES
   imports private BOOL-SYNTAX
@@ -32,7 +32,7 @@ module MAP-BYTES-TO-BYTES
            injective
          ]
 
-  syntax priorities _Bytes2Bytes|->_ > _MapBytesToBytes_ .MapBytesToBytes
+  syntax priority _Bytes2Bytes|->_ > _MapBytesToBytes_ .MapBytesToBytes
   syntax non-assoc _Bytes2Bytes|->_
   syntax WrappedBytes ::= MapBytesToBytes "[" WrappedBytes "]"
                  [function, hook(MAP.lookup), klabel(MapBytesToBytes:lookup), symbol]
diff --git a/data/map-int-to-bytes.k b/data/map-int-to-bytes.k
index 73dba1f4..fc0c4a66 100644
--- a/data/map-int-to-bytes.k
+++ b/data/map-int-to-bytes.k
@@ -1,6 +1,6 @@
 
-require "int-type.k"
-require "bytes-type.k"
+requires "int-type.k"
+requires "bytes-type.k"
 
 module MAP-INT-TO-BYTES
   imports private BOOL-SYNTAX
@@ -32,7 +32,7 @@ module MAP-INT-TO-BYTES
            injective
          ]
 
-  syntax priorities _Int2Bytes|->_ > _MapIntToBytes_ .MapIntToBytes
+  syntax priority _Int2Bytes|->_ > _MapIntToBytes_ .MapIntToBytes
   syntax non-assoc _Int2Bytes|->_
   syntax WrappedBytes ::= MapIntToBytes "[" WrappedInt "]"
                  [function, hook(MAP.lookup), klabel(MapIntToBytes:lookup), symbol]
diff --git a/elrond-config.md b/elrond-config.md
index a5f9466a..32dd9bdd 100644
--- a/elrond-config.md
+++ b/elrond-config.md
@@ -4,11 +4,11 @@ Elrond Configuration
 Combine Elrond node with Wasm.
 
 ```k
-require "auto-allocate.md"
-require "deps/plugin/plugin/krypto.md"
-require "elrond-node.md"
-require "esdt.md"
-require "wasm-semantics/wasm-text.md"
+requires "auto-allocate.md"
+requires "deps/plugin/plugin/krypto.md"
+requires "elrond-node.md"
+requires "esdt.md"
+requires "wasm-semantics/wasm-text.md"
 
 module ELROND-CONFIG
     imports KRYPTO
diff --git a/elrond-node.md b/elrond-node.md
index 5d3feafd..e08be6f6 100644
--- a/elrond-node.md
+++ b/elrond-node.md
@@ -2,10 +2,10 @@ Elrond Node
 ===========
 
 ```k
-require "data/list-bytes.k"
-require "data/map-bytes-to-bytes.k"
-require "data/map-int-to-bytes.k"
-require "wasm-semantics/wasm.md"
+requires "data/list-bytes.k"
+requires "data/map-bytes-to-bytes.k"
+requires "data/map-int-to-bytes.k"
+requires "wasm-semantics/wasm.md"
 
 module ELROND-NODE
     imports DOMAINS
diff --git a/elrond.md b/elrond.md
index bde25578..6a86fbac 100644
--- a/elrond.md
+++ b/elrond.md
@@ -2,8 +2,8 @@ Elrond Semantics
 ================
 
 ```k
-require "elrond-config.md"
-require "vmhooks/vmhooks.md"
+requires "elrond-config.md"
+requires "vmhooks/vmhooks.md"
 
 module ELROND
    imports ELROND-CONFIG
diff --git a/esdt.md b/esdt.md
index 9e38dced..1bc2da66 100644
--- a/esdt.md
+++ b/esdt.md
@@ -4,7 +4,7 @@ TODO ESDT transfer should be a builtin function
 TODO check token settings: frozen, paused, limited transfer...
 
 ```k
-require "elrond-node.md"
+requires "elrond-node.md"
 
 module ESDT
     imports ELROND-NODE
diff --git a/kasmer.md b/kasmer.md
index 1e1430d4..20010636 100644
--- a/kasmer.md
+++ b/kasmer.md
@@ -1,7 +1,7 @@
 # Kasmer Semantics
 
 ```k
-require "mandos.md"
+requires "mandos.md"
 
 module KASMER-SYNTAX
     imports KASMER
@@ -632,4 +632,4 @@ Only the `#foundryRunner` account can execute these commands/host functions.
          <instrs> #waitCommands ... </instrs>
 
 endmodule
-```
\ No newline at end of file
+```
diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml
index cc236478..0ee2e834 100644
--- a/kmultiversx/pyproject.toml
+++ b/kmultiversx/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kmultiversx"
-version = "0.1.6"
+version = "0.1.7"
 description = "Python tools for Elrond semantics"
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
diff --git a/mandos.md b/mandos.md
index 8ae9e92d..639b3040 100644
--- a/mandos.md
+++ b/mandos.md
@@ -2,8 +2,8 @@ Mandos Testing Framework
 ========================
 
 ```k
-require "wasm-semantics/wasm-text.md"
-require "elrond.md"
+requires "wasm-semantics/wasm-text.md"
+requires "elrond.md"
 
 module MANDOS-SYNTAX
     imports MANDOS
diff --git a/package/version b/package/version
index c946ee61..11808190 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.6
+0.1.7
diff --git a/vmhooks/baseOps.md b/vmhooks/baseOps.md
index 19a8ed38..1a5dcd32 100644
--- a/vmhooks/baseOps.md
+++ b/vmhooks/baseOps.md
@@ -4,9 +4,9 @@ Base Operations
 Go implementation: [mx-chain-vm-go/vmhost/vmhooks/baseOps.go](https://github.com/multiversx/mx-chain-vm-go/blob/ea3d78d34c35f7ef9c1a9ea4fce8288608763229/vmhost/vmhooks/baseOps.go)
 
 ```k
-require "../elrond-config.md"
-require "eei-helpers.md"
-require "utils.md"
+requires "../elrond-config.md"
+requires "eei-helpers.md"
+requires "utils.md"
 
 module BASEOPS
     imports ELROND-CONFIG
diff --git a/vmhooks/bigIntOps.md b/vmhooks/bigIntOps.md
index 88a06d9c..1c966fa6 100644
--- a/vmhooks/bigIntOps.md
+++ b/vmhooks/bigIntOps.md
@@ -4,9 +4,9 @@ Big Integers
 Go implementation: [mx-chain-vm-go/vmhost/vmhooks/bigIntOps.go](https://github.com/multiversx/mx-chain-vm-go/blob/ea3d78d34c35f7ef9c1a9ea4fce8288608763229/vmhost/vmhooks/bigIntOps.go)
 
 ```k
-require "../elrond-config.md"
-require "../data/map-int-to-bytes.k"
-require "baseOps.md"
+requires "../elrond-config.md"
+requires "../data/map-int-to-bytes.k"
+requires "baseOps.md"
 
 module BIGINT-HELPERS
     imports ELROND-CONFIG
diff --git a/vmhooks/cryptoei.md b/vmhooks/cryptoei.md
index 5843f261..ebb88e9d 100644
--- a/vmhooks/cryptoei.md
+++ b/vmhooks/cryptoei.md
@@ -4,8 +4,8 @@ Crypto API
 Go implementation: [mx-chain-vm-go/vmhost/vmhooks/cryptoei.go](https://github.com/multiversx/mx-chain-vm-go/blob/ea3d78d34c35f7ef9c1a9ea4fce8288608763229/vmhost/vmhooks/cryptoei.go)
 
 ```k
-require "../elrond-config.md"
-require "manBufOps.md"
+requires "../elrond-config.md"
+requires "manBufOps.md"
 ```
 
 ## Helpers
diff --git a/vmhooks/manBufOps.md b/vmhooks/manBufOps.md
index 44cb872a..f1f06686 100644
--- a/vmhooks/manBufOps.md
+++ b/vmhooks/manBufOps.md
@@ -4,9 +4,9 @@ Managed Buffers
 Go implementation: [mx-chain-vm-go/vmhost/vmhooks/manBufOps.go](https://github.com/multiversx/mx-chain-vm-go/blob/ea3d78d34c35f7ef9c1a9ea4fce8288608763229/vmhost/vmhooks/manBufOps.go)
 
 ```k
-require "../elrond-config.md"
-require "bigIntOps.md"
-require "../data/map-int-to-bytes.k"
+requires "../elrond-config.md"
+requires "bigIntOps.md"
+requires "../data/map-int-to-bytes.k"
 
 module MANBUFOPS
     imports ELROND-CONFIG
diff --git a/vmhooks/managedConversions.md b/vmhooks/managedConversions.md
index 9403591a..847a8aa5 100644
--- a/vmhooks/managedConversions.md
+++ b/vmhooks/managedConversions.md
@@ -3,9 +3,9 @@
 Go implementation: [mx-chain-vm-go/vmhost/vmhooks/managedConversions.go](https://github.com/multiversx/mx-chain-vm-go/blob/ea3d78d34c35f7ef9c1a9ea4fce8288608763229/vmhost/vmhooks/managedConversions.go)
 
 ```k
-require "../elrond-config.md"
-require "manBufOps.md"
-require "utils.md"
+requires "../elrond-config.md"
+requires "manBufOps.md"
+requires "utils.md"
 
 
 module MANAGEDCONVERSIONS
diff --git a/vmhooks/managedei.md b/vmhooks/managedei.md
index 8ad7ec3f..c299ec2c 100644
--- a/vmhooks/managedei.md
+++ b/vmhooks/managedei.md
@@ -4,9 +4,9 @@ Managed EI
 Go implementation: [mx-chain-vm-go/vmhost/vmhooks/managedei.go](https://github.com/multiversx/mx-chain-vm-go/blob/ea3d78d34c35f7ef9c1a9ea4fce8288608763229/vmhost/vmhooks/managedei.go)
 
 ```k
-require "../elrond-config.md"
-require "manBufOps.md"
-require "managedConversions.md"
+requires "../elrond-config.md"
+requires "manBufOps.md"
+requires "managedConversions.md"
 
 module MANAGEDEI
     imports ELROND-CONFIG
diff --git a/vmhooks/smallIntOps.md b/vmhooks/smallIntOps.md
index e76fee91..dbfebbfa 100644
--- a/vmhooks/smallIntOps.md
+++ b/vmhooks/smallIntOps.md
@@ -4,7 +4,7 @@ Small Integers
 Go implementation: [mx-chain-vm-go/vmhost/vmhooks/smallIntOps.go](https://github.com/multiversx/mx-chain-vm-go/blob/ea3d78d34c35f7ef9c1a9ea4fce8288608763229/vmhost/vmhooks/smallIntOps.go)
 
 ```k
-require "../elrond-config.md"
+requires "../elrond-config.md"
 
 module SMALLINTOPS
     imports BASEOPS
@@ -116,4 +116,4 @@ module SMALLINTOPS
          </locals>
 
 endmodule
-```
\ No newline at end of file
+```
diff --git a/vmhooks/utils.md b/vmhooks/utils.md
index f7f5af95..46b0e740 100644
--- a/vmhooks/utils.md
+++ b/vmhooks/utils.md
@@ -2,8 +2,8 @@
 # Utils
 
 ```k
-require "../data/bytes-type.k"
-require "../data/list-bytes.k"
+requires "../data/bytes-type.k"
+requires "../data/list-bytes.k"
 
 module UTILS
     imports STRING
diff --git a/vmhooks/vmhooks.md b/vmhooks/vmhooks.md
index 2e82bead..22740453 100644
--- a/vmhooks/vmhooks.md
+++ b/vmhooks/vmhooks.md
@@ -4,13 +4,13 @@ Elrond VM Hooks
 Here, host calls are implemented, by defining the semantics when `hostCall(MODULE_NAME, EXPORT_NAME, TYPE)` is left on top of the `instrs` cell.
 
 ```k
-require "../elrond-config.md"
-require "bigIntOps.md"
-require "cryptoei.md"
-require "baseOps.md"
-require "managedei.md"
-require "manBufOps.md"
-require "smallIntOps.md"
+requires "../elrond-config.md"
+requires "bigIntOps.md"
+requires "cryptoei.md"
+requires "baseOps.md"
+requires "managedei.md"
+requires "manBufOps.md"
+requires "smallIntOps.md"
 
 module VMHOOKS
     imports ELROND-CONFIG
@@ -21,4 +21,4 @@ module VMHOOKS
     imports MANBUFOPS
     imports SMALLINTOPS
 endmodule
-```
\ No newline at end of file
+```