Removed obsolete constraint.
Join injective relation card prop.
Updated sum set name.
Sum set card aware.
Global card join refs.
Card equality.
Better ref weighting. Need to fix objectives.
Fixed objectives.