put back type level naturals in Vectorize f n