2 files changed, 4 insertions, 40 deletions
diff --git a/new-luxc/source/luxc/lang/analysis/common.lux b/new-luxc/source/luxc/lang/analysis/common.lux
index 5e618d64c..2f3e3a37d 100644
--- a/new-luxc/source/luxc/lang/analysis/common.lux
+++ b/new-luxc/source/luxc/lang/analysis/common.lux
@@ -15,8 +15,9 @@
   (do meta;Monad<Meta>
     [[_ varT] (&;with-type-env tc;var)
      analysis (&;with-expected-type varT
-                action)]
-    (wrap [varT analysis])))
+                action)
+     knownT (&;with-type-env (tc;clean varT))]
+    (wrap [knownT analysis])))
 
 (exception: #export Variant-Tag-Out-Of-Bounds)
 
diff --git a/new-luxc/source/luxc/lang/translation.lux b/new-luxc/source/luxc/lang/translation.lux
index 85eed9ba1..e573aa3ae 100644
--- a/new-luxc/source/luxc/lang/translation.lux
+++ b/new-luxc/source/luxc/lang/translation.lux
@@ -37,43 +37,6 @@
 (exception: #export Macro-Expansion-Failed)
 (exception: #export Unrecognized-Statement)
 
-(def: (clean inputT)
-  (-> Type (tc;Check Type))
-  (case inputT
-    (#;Primitive name paramsT+)
-    (do tc;Monad<Check>
-      [paramsT+' (monad;map @ clean paramsT+)]
-      (wrap (#;Primitive name paramsT+')))
-
-    (^or #;Void #;Unit (#;Bound _) (#;Ex _) (#;Named _))
-    (:: tc;Monad<Check> wrap inputT)
-
-    (^template [<tag>]
-      (<tag> leftT rightT)
-      (do tc;Monad<Check>
-        [leftT' (clean leftT)
-         rightT' (clean rightT)]
-        (wrap (<tag> leftT' rightT'))))
-    ([#;Sum] [#;Product] [#;Function] [#;Apply])
-
-    (#;Var id)
-    (do tc;Monad<Check>
-      [?actualT (tc;read id)]
-      (case ?actualT
-        (#;Some actualT)
-        (clean actualT)
-
-        _
-        (wrap inputT)))
-
-    (^template [<tag>]
-      (<tag> envT+ unquantifiedT)
-      (do tc;Monad<Check>
-        [envT+' (monad;map @ clean envT+)]
-        (wrap (<tag> envT+' unquantifiedT))))
-    ([#;UnivQ] [#;ExQ])
-    ))
-
 (def: (process-annotations annsC)
   (-> Code (Meta [$;Inst Code]))
   (do meta;Monad<Meta>
@@ -101,7 +64,7 @@
                                  (commonA;with-unknown-type
                                    (analyse valueC))))
            valueT (&;with-type-env
-                    (clean valueT))
+                    (tc;clean valueT))
            valueI (expressionT;translate (expressionS;synthesize valueA))
            _ (&;with-scope
                (statementT;translate-def def-name valueT valueI annsI annsV))]