I like all of these targets, it just might take a bit more to land them.
Next year is Stroman's age 31 season, so I think he's probably aiming for more total dollars rather than AAV. Your 3/70 deal could beat the Fangraphs median crowdsource estimate of 4/72, but it would fall short of the average crowdsource (~4/83), Ben Clemens (4/100), and MLBTR (5/110) estimates.
There's also enough demand at shortstop that it might be hard for the market to "dry up" too much for Story. MLBTR says "Astros, Rangers, Yankees, Tigers, Twins, Angels, Phillies, and Cardinals" could pursue Story. And a few of those teams aren't going to be able to afford or land Correa or Seager, so they'll probably focus more on the next tier. (And if Semien and Taylor sign somewhere else to play more second base, it doesn't necessarily hurt Story's market.)