Update Vector.h

Restructure (cf. Array.h restructure): delayed initialization of dimension now allowed.

Also, dimension field used to be redundant with length. Now, changed into inline getter-method, which jives with the newly private status of length.