The current error handling is very primitive, and does not suggest how to fix things.

Proper sentinel errors should exist, with file locations when possible, and fix suggestions. A lot of the type conversion is similar to how a linter would report errors.