Updating: improving UTFPL/eval