start updating compilerProof for vectors