Add a `nonempty_vector` type

Motivated by https://reviewable.io/reviews/flexflow/flexflow-train/1521#-OGD7mCl0y6oka-VVpqz