More robust error messages in the semantic analyzer.