FullEnvi.t without the signatures field