This would aid in better error reporting, especially during unification, however it's not super-high priority
This would aid in better error reporting, especially during unification, however it's not super-high priority