New Type Checker: Check Expressions Pass

[Vengarioth]

Old code: https://github.com/Vengarioth/xshade/blob/master/src/type_system/type_check.rs#L242-L369

• [ ] Create a pass in passes/ast/type_checking
• [ ] Type check all expressions
• [ ] Test the pass