Document composite type comparisons, included proposed new ones.