toroidalization

Unlike Ax-Kochen's proof, ours does not use any notions from mathematical logic and is based on weak toroidalization of morphisms.