[MIN] name change
[MOD] XQuery, Inspection Module: better output of sequence types