Fix index calculation bugs in Vector diff. Get type-stability with Overwrite.