Updating: adding examples; improving libats/funset.