lexjoin
maxord
total orders all start at 0
pairs
added some == and a lexpair