* Added subset tags to homology assertions
tagged homology with subsets
 * CUMBO defs. Addresses #320