Error reporting

[sebastianriese]

Error reporting currently has several shortcomings:

• Some errors are only signalled by Exceptions which propagate to the toplevel and print a trace on the console.
• Reported errors do not prevent output generation.
• Error reporting is just implemented as printing to stdout.