Checks union and intersection types for duplicates