diff --git a/grammar/declarations/object_instantiation.bnf b/grammar/declarations/object_instantiation.bnf
new file mode 100644
index 0000000..c435f7b
--- /dev/null
+++ b/grammar/declarations/object_instantiation.bnf
@@ -0,0 +1,3 @@
+<object_instantiation> ::= "new" <type> "(" <argument_list>? ")"
+
+<type> ::= <identifier> ["/" <identifier>]?
diff --git a/grammar/main.bnf b/grammar/main.bnf
index 3f792f9..3e916d1 100644
--- a/grammar/main.bnf
+++ b/grammar/main.bnf
@@ -16,6 +16,7 @@ import "core/visibility.bnf"
 import "core/modules.bnf"
 import "declarations/type_declarations.bnf"
 import "declarations/function_declarations.bnf"
+import "declarations/object_instantiation.bnf"
 import "operations/expressions.bnf"
 import "operations/method_calls.bnf"
 import "operations/control_flow.bnf"
diff --git a/grammar/operations/expressions.bnf b/grammar/operations/expressions.bnf
index fc8122d..ce84c03 100644
--- a/grammar/operations/expressions.bnf
+++ b/grammar/operations/expressions.bnf
@@ -2,19 +2,30 @@
                | <literal>
                | <object_method_call>
                | <constant_expression>
+               | <object_instantiation>
                | "(" <expression> ")"
                | <lambda_expression>
 
-<boolean_expression> ::= <boolean_literal>
-                       | "(" <boolean_expression> ")"
-                       | <my_identifier>.eq(<expression>)
-                       | <my_identifier>.is(<expression>)
-                       | <my_identifier>.not(<expression>)
-                       | <my_identifier>.gt(<expression>)
-                       | <my_identifier>.lt(<expression>)
-                       | <my_identifier>.gte(<expression>)
-                       | <my_identifier>.lte(<expression>)
-                       | Boolean.or(<boolean_expression>, <boolean_expression>)
-                       | Boolean.and(<boolean_expression>, <boolean_expression>)
+<boolean_expression> ::= 
+    <boolean_literal>
+    | "(" <boolean_expression> ")"
+    | <my_identifier>.eq(<expression>)
+    | <my_identifier>.is(<expression>)
+    | <my_identifier>.not(<expression>)
+    | <my_identifier>.gt(<expression>)
+    | <my_identifier>.lt(<expression>)
+    | <my_identifier>.gte(<expression>)
+    | <my_identifier>.lte(<expression>)
+    | <my_identifier>.and(<boolean_expression>)
+    | <my_identifier>.or(<boolean_expression>)
+    | Boolean.and(<boolean_expression>, <boolean_expression>)
+    | Boolean.or(<boolean_expression>, <boolean_expression>)
+    | Boolean.not(<boolean_expression>)
+    | Boolean.eq(<boolean_expression>, <boolean_expression>)
+    | Boolean.is(<boolean_expression>, <boolean_expression>)
+    | Boolean.gt(<boolean_expression>, <boolean_expression>)
+    | Boolean.lt(<boolean_expression>, <boolean_expression>)
+    | Boolean.gte(<boolean_expression>, <boolean_expression>)
+    | Boolean.lte(<boolean_expression>, <boolean_expression>)
 
 <constant_expression> ::= <my_identifier> ".define(" <literal> ")"