1 files changed, 2 insertions, 0 deletions
diff --git a/lib.rkt b/lib.rkt
index e2ccfcd..9b65256 100644
--- a/lib.rkt
+++ b/lib.rkt
@@ -38,6 +38,8 @@
     [`(λ ,x (: ,t) ,e (: ,t)) `(λ ,(strip x) ,(strip e))]
     [`(λ ,x ,e (: ,t)) `(λ ,(strip x) ,(strip e))]
     [`(λ ,x (: ,t) ,e) `(λ ,(strip x) ,(strip e))]
+    [`(type ,t1 ,t2 ,in) (strip in)]
+    [`(,e (: ,t)) (strip e)]
     [`(,e1 ,e2) `(,(strip e1) ,(strip e2))]
     [e e]))