add ==K for Bags

@andreistefanescu please review
This should be ==Bag, because the convention is to use the sort of the arguments, not of the result (to be consistent with >=Int, not >=Bool).