Updating: improving libats/funset.