as discussed, three new error-types for the semantic analysis