dyn_ord: equality and ordering for trait objects

Documentation.