Fix for `map2:values($map)` and XQDoc for `int-set`.