Trying to sketch incremental evolution of table types using the definition of _ENV