Fix serialization for the most part and work on incremental compilation

Author: Victorious3

src/codegen.pr

@@ -694,7 +694,7 @@ def emit_structure(fp: File, structure: &typechecking::Type) {
 def emit_union(fp: File, union_: &typechecking::Type) {
     var name = union_.type_name
     if not name {
-        name = "<anonymous " + union_.id + ">"
+        name = "<anonymous " + union_._hash + ">"
     }
 
     fprint(fp, "%\"", name, "\"")

src/compiler.pr

@@ -1309,7 +1309,7 @@ def walk_String(node: &parser::Node, state: &State) -> Value {
     return ret
 }
 
-def resolve_types(res: &Vector(TypeEntry)) {
+export def resolve_types(res: &Vector(TypeEntry)) {
     let state = toolchain::types_state
     // We need an independent block that we can run for constant evaluation
     let old_block = toolchain::types_state.current_block
@@ -9020,7 +9020,7 @@ export def resolve_stub_types {
     lock = false
 }*/
 
-type TypeEntry = struct {
+export type TypeEntry = struct {
     tpe: &typechecking::Type
     value: &scope::Value
     module: weak &toolchain::Module
@@ -9107,17 +9107,20 @@ export def create_type(tpe: &typechecking::Type, module: &toolchain::Module, res
 
     let state = toolchain::types_state
     let assembly_name = scope::assembly_name(svalue, state)
-    if not map::contains(module.result.globals, assembly_name) {
-        let global = [
-            external = true,
-            name = assembly_name,
-            tpe = builtins::type_t(),
-            line = -1,
-            identifier = ident
-        ] !&Global
-        module.result.add_global(global.name, global)
-        module.imported.add(global.name)
+    if module {
+        if not map::contains(module.result.globals, assembly_name) {
+            let global = [
+                external = true,
+                name = assembly_name,
+                tpe = builtins::type_t(),
+                line = -1,
+                identifier = ident
+            ] !&Global
+            module.result.add_global(global.name, global)
+            module.imported.add(global.name)
+        }
     }
+   
 
     let value = [
         kind = ValueKind::GLOBAL,

src/debug.pr

@@ -883,7 +883,7 @@ export def type_to_str(tpe: &typechecking::Type, full_name: bool = false) -> Str
             typechecking::TypeKind::INTERFACE,
             typechecking::TypeKind::TYPE_CONSTRUCTOR
             let name = tpe.type_name if full_name else tpe.name
-            if not name { return "<anonymous " + tpe.id + ">" }
+            if not name { return "<anonymous " + tpe._hash + ">" }
             return name
         case typechecking::TypeKind::TYPE
             return type_t_to_string(tpe, full_name)

src/scope.pr

@@ -2095,6 +2095,7 @@ def all_impl(scope: &Scope, module: &toolchain::Module, visited: &SSet, all: &Ve
 // To fix this we need to stop recursing somehow-
 export def trigger_impl(scope: &Scope, tpe: &typechecking::Type) {
     if is_type(tpe) { return }
+    if tpe.kind == typechecking::TypeKind::TYPE_CONSTRUCTOR { return }
 
     if tpe and tpe.kind != typechecking::TypeKind::REFERENCE {
         trigger_impl(scope, typechecking::reference(tpe.id))