generic types

internal_docs/typechecking/AstCompiler.md

@@ -0,0 +1,16 @@
+# `AstCompiler`
+
+Type checking appens while compiling the AST to TIR.
+
+this is litterally the only job of `AstCompiler`.
+
+during compilation from AST to TIR no other magic happens, no desugaring, no optimizations, no nothing.
+
+The resulting TIR, is essentially the same as the original AST,
+with the only exception being that in the TIR universe there are:
+
+- NO generic types, only concrete types
+- NO generic functions
+- NO overloaded functions (overloads are replaced with concrete functions with different signatures)
+
+essentially the TIR, right after AST compilation, is the same as the original AST but with every type explicit, and any ambiguity removed.

src/ast/nodes/statements/TypeImplementsStmt.ts

@@ -1,7 +1,6 @@
 import { SourceRange } from "../../Source/SourceRange";
 import { Identifier } from "../common/Identifier";
 import { HasSourceRange } from "../HasSourceRange";
-import { AstNamedTypeExpr } from "../types/AstNamedTypeExpr";
 import { AstFuncType } from "../types/AstNativeTypeExpr";
 import { AstTypeExpr } from "../types/AstTypeExpr";
 import { BlockStmt } from "./BlockStmt";

src/ast/nodes/statements/declarations/FuncDecl.ts

@@ -5,9 +5,7 @@ import { ArrowKind } from "../../expr/functions/ArrowKind";
 import { PebbleExpr } from "../../expr/PebbleExpr";
 import { HasSourceRange } from "../../HasSourceRange";
 import { BlockStmt } from "../BlockStmt";
-import { AstNamedTypeExpr } from "../../types/AstNamedTypeExpr";
 import { AstFuncType } from "../../types/AstNativeTypeExpr";
-import { AstTypeExpr } from "../../types/AstTypeExpr";
 
 export class FuncDecl
     implements HasSourceRange