A hierarchy of imperative languages for the feasible classes DTIMEF(n^k) and for the k-superexponential classes(k_n)