generic vectors: how should they work?

[Paolo Bonzini]

> This stuff *ought* to be properly documented in the internal manual.

Not that the old stuff was documented in any way :-/  I'm going to do 
that at the same time Janis Johnson and Christine Lorenz work on the 
user manual.

Paolo