We've been putting off creating a Unit type, (), and we need our type checker to be OK with += etc. We are getting excitingly close to having a working while loop!

More info: https://artificialworlds.net/blog/2025/06/06/mini-rust-in-rust-032-type-checking-mutation-and-unit