Mini-rust in Rust 047: Updating types as we get more information

If we know that y is an f64, when we see x *= y, we can guess that x is an f64 too. More info: https://artificialworlds.net/blog/2025/10/03/mini-rust-in-rust-047-update-types-later