Updating: improving libats/funset and libats/ML/funset