Mini-rust in Rust 022: Stop lying about types in errors

Now that we have the types we calculated in our syntax tree, use them to stop faking it in error messages - replace a hard-coded "integer" with the actual type of the expression we are talking about. More info: https://artificialworlds.net/blog/2025/03/28/mini-rust-in-rust-022-types-in-errors