Better error reporting for semantic errors. Finally the bar is green again!