100% agree.
The plan should be to sign Wheeler (or theoretically Cole/Strasburg) to a multi-year deal and then add another cheaper starter on a one year deal like Wood or Gonzalez. That gives you an opening day rotation of Giolito, Wheeler, Cease, Wood, & Lopez. Kopech comes up after he recovers that lost year of service time and replaces the weak man in the rotation. Rodon serves as a wild card this year and is used in the bullpen if necessary. Come 2021 him, Lopez, Dunning, & Lambert compete for the 5th starter spot. That makes Stiever very much expendable IMO and I think he goes in a trade for a RF this offseason.