A new set of functions to manipulate FullEnvi.t