Fix query-extract for vec

[hatoo]

Currently, query-extract for vec prints the reverse order of the argument

(sort IVec (Vec i64))

(let e (vec-of 1 2 3 4))
(query-extract e) ; => (vec-push (vec-push (vec-push (vec-push (vec-empty) 4) 3) 2) 1)

(check (= e (vec-push (vec-push (vec-push (vec-push (vec-empty) 4) 3) 2) 1))) ; fail

This PR fixes it and prints by vec-of

(sort IVec (Vec i64))

(let e (vec-of 1 2 3 4))
(query-extract e) ; => (vec-of 1 2 3 4)
(query-extract (vec-empty)) ; => (vec-empty)

(check (= e (vec-of 1 2 3 4))) ; OK

[oflatt]

Good catch!

[oflatt]

Great catch, could you please also add a repro test for this?

[hatoo]

Added.
I'm not sure it's the best way to test this though.

[oflatt]

Thanks!