A Setsum Manifest

Setsum and mani can be combined together to track the setsum for a rich data structure.