Update after review

Author: Tomasz Kulik

src/pages/core/_meta.json

@@ -5,5 +5,6 @@
   "standard-library": "Standard Library",
   "conventions": "Conventions",
   "advanced": "Advanced",
-  "specification": "Specification"
+  "specification": "Specification",
+  "semantics": "Semantics"
 }

src/pages/core/semtantics.mdx renamed to src/pages/core/semantics.mdx

@@ -24,7 +24,7 @@ Example: we could upload a generic "ERC20 mintable" contract, and many people co
 independent instances based on the same bytecode, where the local data defines the token name, the
 issuer, the max issuance, etc.
 
-1. First you **create** a _contract_,
+1. First you **store** a _contract_,
 2. Then you **instantiate** an _instance_,
 3. Finally users **invoke** the _instance_.
 
@@ -75,7 +75,7 @@ may either return a success (with data and events) or an error. In the case of a
 will revert the entire transaction in the block.
 
 In this document we focus on the `execute` entry-point implementation and call to show you the
-execution flow if the smart contracts. For more information on how to create contract and define
+execution flow of the smart contracts. For more information on how to create contract and define
 other basic entry-points, check [the entrypoints section](entrypoints.mdx).
 
 ### Basic Execution
@@ -148,7 +148,7 @@ cache. If `gas_limit` is set, it is sandboxed to how much gas it can use until i
 `OutOfGasError`. This error is caught and returned to the caller like any other error returned from
 contract execution (unless it burned the entire gas limit of the transaction).
 
-If it return success, the temporary state is committed (into the caller's cache), and the
+If it returns success, the temporary state is committed (into the caller's cache), and the
 [`Response`](https://docs.rs/cosmwasm-std/latest/cosmwasm_std/struct.Response.html) is processed as
 normal. Once the response is fully processed, this may then be intercepted by the calling contract
 (for `ReplyOn::Always` and `ReplyOn::Success`). On an error, the subcall will revert any partial