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

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

Unit tests (typechecker)

https://deavmi.assigned.network/git/tlang/tlang/commit/9514e0edc96d53654d5694e88737a6b98b83bd27