Emit spans for all typechecker error messages. Type mismatch errors still kinda bad.
Produce much better type error messages.
Spans for resolve failures.
Make cur_span always behave like peek_span. This makes spans actually good.
Print errors to stderr.