Define the "dictionary order" for lists.

Some properties also, including the fact that it isn't usually
wellfounded.