What would it take to get Paul Goldschmidt? He's a free agent after 2024 and making $26M next season. Cards aren't making the Postseason this year. His bat would be perfect, though position wise would be tough with Vlad at 1B, unless you split both of them between 1B and DH, though sure both wouldn't be too pleased. Regardless, adding a bat like Goldy would definitely improve this lineup!
Arenado would be a great target in the offseason, though doubt Cards trade him after signing him to that extension.