SafeCopy instance of Vector

I adapted the code for the `List` instance to `Vector`.