The type checker is passing our unit tests, but it's stopping our language from actually working. Time to fill in the gaps.

More info: https://artificialworlds.net/blog/2025/03/14/mini-rust-in-rust-020-gaps-in-type-check