Type checker and type inference

[Larsouille25]

Create type analyzer, that will infer type of expressions + create a typed AST in crate zom_typeizer

Todo:

• [ ] Reproduce the AST in zom_parser but with types annotated to expressions.
• [ ] make functions that converts from non-typed to typed expression
• [ ] make functions to infer type of expression

  Questions ??

• Do we create comptime_int and comptime_float to make the type analyzer easier ??

[Larsouille25]

Doc of LLVM IR https://llvm.org/docs/LangRef.html#garbage-collector-strategy-names we can find many things including types in llvm ir