Disjointness of record types