Added meets and joins for pair types