Mini-rust in Rust 032: Supporting a Unit type and type checking mutations

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