checker: Do not default to unit type when node is not present in typectx

typecheck/src/checker.rs

@@ -25,10 +25,7 @@ impl<'ctx> Checker<'ctx> {
     fn get_type(&self, of: &RefIdx) -> &Type {
         // if at this point, the reference is unresolved, or if we haven't seen that node yet, it's
         // an interpreter error
-        self.0
-            .types
-            .type_of(of.expect_resolved())
-            .unwrap_or(self.unit())
+        self.0.types.type_of(of.expect_resolved()).unwrap()
     }
 
     fn unit(&self) -> &Type {
@@ -153,9 +150,6 @@ fn type_mismatch(
 ) -> Error {
     let fmt = Fmt(fir);
 
-    dbg!(&expected.0);
-    dbg!(&got.0);
-
     Error::new(ErrKind::TypeChecker)
         .with_msg(format!(
             "type mismatch found: expected {}, got {}",