Mini-rust in Rust 020: Gaps in our type checker

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