**Tristan's Programming Language synced commits to feature/universal_coercion at tlang/tlang from mirror**

a40541991d9d87d5ef8fb369b82022bd3a95c024 (https://deavmi.assigned.network/git/tlang/tlang/commit/a40541991d9d87d5ef8fb369b82022bd3a95c024)

TypeChecker

https://deavmi.assigned.network/git/tlang/tlang/commit/a40541991d9d87d5ef8fb369b82022bd3a95c024