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