diff --git a/package/origlang-typesystem-model/src/lib.rs b/package/origlang-typesystem-model/src/lib.rs
index 20c88ffc..ea777bf5 100644
--- a/package/origlang-typesystem-model/src/lib.rs
+++ b/package/origlang-typesystem-model/src/lib.rs
@@ -68,6 +68,10 @@ pub enum Type {
     Tuple(DisplayTupleType),
     #[display(fmt = "{_0}")]
     Record(DisplayRecordType),
+    #[display(fmt = "*const {_0}")]
+    Ref(Box<Self>),
+    #[display(fmt = "*mut {_0}")]
+    RefMut(Box<Self>)
 }
 
 impl Type {