It strikes me that comparing hands is just a lexicographical comparison,
and we can do that with STRING<.