Add formal fingerprint sets for intersection ops.