Mini-rust in Rust 019: Type checking an actual type error

We have a plan for what error message we should get when we try to write code like `let x: i32 = 3.0;`. Let's try to make it a reality! More info: https://artificialworlds.net/blog/2025/03/07/mini-rust-in-rust-019-type-check-assigment-sad