Instances/functions for SortedMap

Duplicate strategy of #117 and #269, but to extend the `Map` instances/functions/syntax to `SortedMap`.

As discussed in #544.