Updating: supporting lazy2cloref