[MOD] XQuery, QT3TS: show results of static typing checks as warnings