fix some typos

README.md

@@ -11,7 +11,7 @@ In order to change the probcli version you need to make the change in the settin
 
 ## Requirements
 
-- Java v.8 or higher. By default Java home is considerd to be accessible by typing 'java' in terminal/powershell
+- Java v.8 or higher. By default, Java home is considered to be accessible by typing 'java' in terminal/powershell
 
 
 ## Extension Settings

syntaxes/classicalb.tmLanguage.json

@@ -175,7 +175,7 @@
 			"name": "keyword.operator.record.classicalb"
 		  },
 		  {
-			"match": "\\b(ran|dom|id|prj1|prj2|closure1|closure|interate|fnc|rel)\\b|%|λ",
+			"match": "\\b(ran|dom|id|prj1|prj2|closure1|closure|iterate|fnc|rel)\\b|%|λ",
 			"name": "keyword.operator.relation.classicalb"
 		  },
 		  {

syntaxes/rmchAddOn.tmLanguage.json

@@ -181,7 +181,7 @@
 			"name": "keyword.operator.record.rmchAddOn"
 		  },
 		  {
-			"match": "\\b(ran|dom|id|prj1|prj2|closure1|closure|interate|fnc|rel)\\b|%|λ",
+			"match": "\\b(ran|dom|id|prj1|prj2|closure1|closure|iterate|fnc|rel)\\b|%|λ",
 			"name": "keyword.operator.relation.rmchAddOn"
 		  },
 		  {