Would the 35W-to-100 westbound aux lane simply be converted to the new mainline? That lane was just added. I'm guessing the final profile will be 3+1 MnPass, in which case the existing westbound lane would be plenty. If anything, they can change aux lanes to start at 35W and exit at France, then start at the France loop and end at 100.
Or we could simply convert all of 494 to MnPASS and be done with it.
Roads - Rails - Sidewalks - Bikeways