vppinfra: add 256-bit vector typedefs