double: Add Poset and Sortable instances.