You would just raise the contrast without really bringing up much shadow detail. The best bet would be a compensating developer like D-23 or something like Acufine or Ethol to get the speed without raising the contrast too horribly much.
As for pushing, for the average developer I'm told it's add 20% for each stop push. I couldn't tell you what that means in N+ numbers.