Refactor error messages

• Semantic errors now show the line + position
• The Jupyter kernel shows errors (in the notebook / console)
• Error reporting functions now return a string (instead of printing to std::err directly)