[MOD] XQuery: more compact notation of error messages