Inverting membership so that we check for unmatched instead of checking for matched.
Clear all joint sets in the union-find structure.
More matchers for use in test assetions.
Improved documentation for the Matching storage.