Add a type resolver with scalar mapping, list/optional handling, and cycle checks

Author: mkpro118

src/core/semantic_analyzer/mod.rs

@@ -2,6 +2,7 @@ use compiler_macros::EnumKindName;
 
 pub mod diagnostics;
 pub mod symbol_table;
+pub mod type_resolver;
 
 // Re-export main types for convenience
 pub use diagnostics::{DiagnosticCode, FixHint, SemanticDiagnostic};