Fix an annotation for `clojure.test/run-tests`
Use heterogeneous vectors

Destructuring `[[_ x]]` for `(I (Vec Int Int) (CountRange 2 2))` returns `(U nil Int)`.