check tuple lengths and element types when evaluating disjointness #856