hmmm. At least we need (left consistentWith right) && (right consistentWith left).

I am a bit nervous here. I tend to think the heavy hitters in sketch map was a mistake, and we should have kept it associative. Can you expand on your thoughts there about these not being structurally equal?