Allow people to have Ord instances for their types, if desired

Previous policy on this was that we removed the instance for String as
it didn't make sense, but here's a use-case where it does make sense:

http://lpaste.net/388237624487182336