Create a more robust error reporting mechanism

[bristermitten]

We're relying heavily on error-style panics at the moment which are fine for debugging but not ideal
The diagnose system is good but requires a lot of effort to add "context" - eg we should be able to show "this error was thrown while inferring the type for declaration blahblah". Need to design a system to wrap diagnose errors allowing this in an easy way