feat: typechecker

src/typechecker.rs

@@ -1,5 +1,11 @@
+pub mod checker;
 pub mod path_type;
+pub mod schema;
+pub mod type_environment;
 pub mod variable_type;
 
+pub use checker::{TypecheckResult, Typechecker};
 pub use path_type::{Direction, PathType};
-pub use variable_type::{EdgeKind, EdgeType, NodeType, Schema, VariableType};
+pub use schema::Schema;
+pub use type_environment::TypeEnvironment;
+pub use variable_type::{EdgeKind, EdgeType, NodeType, VariableType};