Bugfix in EQ- and NEQ-expression validator
Enhanced semantic check error messages.

overrides the toString methods of the Expression types to reasonable
print an expression.
Refactored error adding to remove duplicate code.