Functions 'update_env' to update the environment for each kind of definition