Looking at the Michelin website, I see that Pilot Alpin PA2 in size 235/40-18 will fit a wheel width from 8" to 9.5"
Pilot® Alpin® PA2™: Winter Tires: MICHELIN® Automotive Tires: Michelin Tires
The stock (base) wheels are 8.0" front, and 9.0" rear. The only snows I have found in the stock sizes are Bridgestone Blizzak LM60's, which are available in the staggered stock sizes (225/50 front & 245/45 rear) for about $200/tire.
By my calculations, the stock tires run about 755 revs/mile and the 235/40's would be about 5% higher at 794 revs/mile, so the speedo would read fast. But this seems like an acceptable range to me.
So it appears to me that the Michelins all 4 same size will work on these wheels.
Anyone BTDT? Any gotcha's that I should be aware of before ordering them?