An export ban likely would slow U.S. refining and eventually push up all fuel prices, including gasoline, jet fuel, and diesel.