CoreLint: Better error reports
The error reporting is pretty basic. It provides a trace of breadcrumbs that says where the error happens and then dumps the Core of the whole module.
It would be desirable to lead this dump with a 10 line excerpt highlighting the error location, perhaps with carets.
Unfortunately, the Core pretty-printer does not have a mechanism to highlight error locations. But perhaps it is is possible to follow said breadcrumbs and emit just the expression that contains the error. And perhaps if space permits (some fixed or configurable threshold), include more context until we pass a threshold.
Hacky, but still a big improvement on what we have.