Report multiple spans within the same error message

[croyzor]

Our current error reporting infrrastructure is limited to only highlighting one code span when reporting an error. Update this to allow showing multiple code spans in error messages

This would unblock #318 and #306

[mark-koch]

Update this to report all the error messages we can find

I think we should only focus on the multiple spans part for now. Reporting multiple errors requires us to recover from previous errors to keep type checking going which will require a separate refactor

[mark-koch]

See tracking issue #535

[mark-koch]

Closed by #547