introduced likely_is_definition, generalized newEnv