I've thought around the Nats infield. Lipscomb and Senzel can play 3B. CJ is the starting SS, and Vargas can play SS, as well as 3B. Garcia plays 2B and Vargas can shift to 2B if necessary. That is coverage all around.
Nunez is the third-string SS. He hit .250 once in AA, in 2022, and then fell to .225 in AA last season. Miami exposed him for good reason. As JCA says, Nunez is useful as a pinch-runner, and I can't think of much more that he can do. The rest of MLB uses a 26-man roster, but the Nats have 25.
Offer the Marlins a substitute infielder from Fredericksburg or, my favorite trade, offer them Joey Gallo and pay some of Gallo's salary.
With the extra spot, promote Darren Baker, who hits (.325 with .775 OPS), fields 2B and LF, and runs (13 SB and 1 CS). Baker offers a something; Nunez offers a big nothing.
Why not promote Millas? He would be the number 3 catcher, a part of a part-time player. He starts in Rochester. Maybe Millas could be part of a large pool of C, 1B, and DH, but until the Nats go that way, and it would be a wandering way, Millas seems better in AAA.