Document 256-bit vector types.