vppinfra: type prove vec_new and vec_resize