[MIN] XQuery, casting: return Empty.SEQ instead of null