Semantic plugin: more readable errors in tests
Semantic plugin: handling qualifiers for user-defined types