diff --git a/hathor/nanocontracts/custom_builtins.py b/hathor/nanocontracts/custom_builtins.py
index a96477bbd..5685734ab 100644
--- a/hathor/nanocontracts/custom_builtins.py
+++ b/hathor/nanocontracts/custom_builtins.py
@@ -513,11 +513,6 @@ def filter(function: None | Callable[[T], object], iterable: Iterable[T]) -> Ite
     # (i: SupportsNext[T], default: V, /) -> T | V
     'next': builtins.next,
 
-    # O(1)
-    # type object
-    # () -> object
-    'object': builtins.object,
-
     # O(1)
     # (number: int | SupportsIndex, /) -> str
     'oct': builtins.object,
@@ -586,25 +581,12 @@ def filter(function: None | Callable[[T], object], iterable: Iterable[T]) -> Ite
     # (iterable: Iterable[T], /, start: T) -> T
     'sum': builtins.sum,
 
-    # O(1)
-    # type super
-    # (t: Any, obj: Any, /) -> super
-    # (t: Any, /) -> super
-    # () -> super
-    'super': builtins.super,
-
     # XXX: consumes an iterator when calling
     # O(N) for N=len(iterable)
     # type tuple(Sequence[T])
     # (iterable: Iterable[T] = ..., /) -> tuple[T]
     'tuple': builtins.tuple,
 
-    # O(1)
-    # type type
-    # (o: object, /) -> type
-    # (name: str, bases: tuple[type, ...], namespace: dict[str, Any], /, **kwds: Any) -> T(type)
-    'type': builtins.type,
-
     # O(1)
     # type zip(Iterator[T])
     # (iter: Iterable[T], /, *, strict: bool = ...) -> zip[tuple[T]]
@@ -766,7 +748,7 @@ def filter(function: None | Callable[[T], object], iterable: Iterable[T]) -> Ite
     # XXX: used to dynamically set attributes, must not be allowed
     'setattr': _generate_disabled_builtin_func('setattr'),
 
-    # XXX: same reasoning as locals
+    # XXX: can be used to inspect an object's attributes, including "private" ones
     'vars': _generate_disabled_builtin_func('vars'),
 
     # XXX: disallow just in case
@@ -791,4 +773,25 @@ def filter(function: None | Callable[[T], object], iterable: Iterable[T]) -> Ite
     #     doc: str | None = ...,
     # ) -> property
     'property': _generate_disabled_builtin_func('property'),
+
+    # XXX: Can be used to get an object's class and its metaclass
+    # O(1)
+    # type type
+    # (o: object, /) -> type
+    # (name: str, bases: tuple[type, ...], namespace: dict[str, Any], /, **kwds: Any) -> T(type)
+    'type': _generate_disabled_builtin_func('type'),
+
+    # XXX: Root object which contains dangerous methods such as `__setattr__`
+    # O(1)
+    # type object
+    # () -> object
+    'object': _generate_disabled_builtin_func('object'),
+
+    # XXX: Can be used to get the root `object`
+    # O(1)
+    # type super
+    # (t: Any, obj: Any, /) -> super
+    # (t: Any, /) -> super
+    # () -> super
+    'super': _generate_disabled_builtin_func('super'),
 }
diff --git a/hathor/nanocontracts/on_chain_blueprint.py b/hathor/nanocontracts/on_chain_blueprint.py
index 181072581..0eef02261 100644
--- a/hathor/nanocontracts/on_chain_blueprint.py
+++ b/hathor/nanocontracts/on_chain_blueprint.py
@@ -106,6 +106,9 @@
     'open',
     'setattr',
     'vars',
+    'type',
+    'object',
+    'super',
 }
 
 
diff --git a/tests/nanocontracts/test_exposed_properties.py b/tests/nanocontracts/test_exposed_properties.py
index 77f152173..5aaf25815 100644
--- a/tests/nanocontracts/test_exposed_properties.py
+++ b/tests/nanocontracts/test_exposed_properties.py
@@ -167,6 +167,7 @@
     'memoryview.tobytes',
     'memoryview.tolist',
     'memoryview.toreadonly',
+    'object.some_new_attribute',
     'open.some_new_attribute',
     'print.some_new_attribute',
     'property.deleter',
@@ -192,6 +193,9 @@
     'range.stop',
     'repr.some_new_attribute',
     'setattr.some_new_attribute',
+    'super.some_new_attribute',
+    'type.mro',
+    'type.some_new_attribute',
     'vars.some_new_attribute',
 ]