likely_environment::evaluate now returns the new environment