add BitVecor::append