These can just be `SmallVec0`, avoiding the `Option`.