diff --git a/TODO.txt b/TODO.txt
index bf1e3d4..8df5fc8 100644
--- a/TODO.txt
+++ b/TODO.txt
@@ -29,9 +29,7 @@ Feature requests:
 
   - When matching edge, match 'any' src/tgt
 
-  - Support 'return'-statement in conditions? (just makes syntax nicer)
-
-  - RAMification / matching: add `match_subtypes` attribute to each RAMified class.
+  - Support 'return'-statement in conditions?
 
   - Separate script for running LHS (+NAC) on any model, and visualizing the match.
 
diff --git a/api/od.py b/api/od.py
index 2740772..c23160d 100644
--- a/api/od.py
+++ b/api/od.py
@@ -215,25 +215,16 @@ class ODAPI:
 
     def overwrite_primitive_value(self, name: str, value: any, is_code=False):
         referred_model = UUID(self.bottom.read_value(self.get(name)))
-        to_overwrite_type = self.get_type_name(self.get(name))
         # watch out: in Python, 'bool' is subtype of 'int'
         #  so we must check for 'bool' first
         if isinstance(value, bool):
-            if to_overwrite_type != "Boolean":
-                raise Exception(f"Cannot assign boolean value '{value}' to value of type {to_overwrite_type}.")
             Boolean(referred_model, self.state).create(value)
         elif isinstance(value, int):
-            if to_overwrite_type != "Integer":
-                raise Exception(f"Cannot assign integer value '{value}' to value of type {to_overwrite_type}.")
             Integer(referred_model, self.state).create(value)
         elif isinstance(value, str):
             if is_code:
-                if to_overwrite_type != "ActionCode":
-                    raise Exception(f"Cannot assign code to value of type {to_overwrite_type}.")
                 ActionCode(referred_model, self.state).create(value)
             else:
-                if to_overwrite_type != "String":
-                    raise Exception(f"Cannot assign string value '{value}' to value of type {to_overwrite_type}.")
                 String(referred_model, self.state).create(value)
         else:
             raise Exception("Unimplemented type "+value)