Mini-rust in Rust 045: Combining two types when we add things

We had a weird hack in place to handle the type of an expression like `x + 3` but now we can do better. Let's do it! More info: https://artificialworlds.net/blog/2025/09/05/mini-rust-in-rust-045-combine-types-in-operation