Relax the requirement that Keys must be Ord

Still require it for using OrdComparator.