Lattice-valued Hahn-Dieudonné-Tong insertion theorem and stratification structure