Starting work on a new sort: order / lattice. Missing non-pointwise test.