Exposing Vector functionality via genVector()

I could not find any genVector() nor acceptance tests so I added them. Currently the generator returns a constant-length vector, but improving on it is orthogonal to this PR.