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

Previous policy on this was that we removed the default instance for String as
it didn't make sense, but here's a use-case where being able to define one 
does make sense:

http://lpaste.net/388237624487182336