diff --git a/src/main.rs b/src/main.rs
index 0e5c87d..70ec53d 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -1,3 +1,4 @@
+#![allow(mixed_script_confusables)]
 
 mod morphism;
 mod parser;
@@ -5,13 +6,11 @@ mod c_gen;
 
 use {
     ariadne::{Color, Label, Report, ReportKind, Source},
-    chumsky::{
-        prelude::*, text::*
-    },
+    chumsky::prelude::*,
     laddertypes::{
-        dict::TypeDict, parser::ParseLadderType, subtype_unify, unparser::UnparseLadderType, BimapTypeDict, Morphism, MorphismType
+        parser::ParseLadderType, BimapTypeDict, MorphismType
     },
-    std::{any::Any, sync::{Arc, RwLock}},
+    std::sync::{Arc, RwLock},
     tiny_ansi::TinyAnsi,
 
 
diff --git a/src/morphism.rs b/src/morphism.rs
index da573dc..a1f2aab 100644
--- a/src/morphism.rs
+++ b/src/morphism.rs
@@ -1,7 +1,5 @@
 
-use {
-    laddertypes::{TypeDict, morphism::Morphism},
-};
+use laddertypes::morphism::Morphism;
 
 #[derive(Clone, Debug)]
 pub struct LdmcPrimCMorphism {
diff --git a/src/parser.rs b/src/parser.rs
index 76b497c..f45fddf 100644
--- a/src/parser.rs
+++ b/src/parser.rs
@@ -63,8 +63,8 @@ pub fn morphism_base_parser(
                 ty_args.push((var_id, kind));
             }
 
-            let mut src_type = type_dict.parse(&src_type.iter().collect::<String>()).expect("couldnt parse src type");
-            let mut dst_type = type_dict.parse(&dst_type.iter().collect::<String>()).expect("couldnt parse dst type");
+            let src_type = type_dict.parse(&src_type.iter().collect::<String>()).expect("couldnt parse src type");
+            let dst_type = type_dict.parse(&dst_type.iter().collect::<String>()).expect("couldnt parse dst type");
 
             LdmcPrimCMorphism {
                 symbol,