updates to SortedList

  * Remove Wrapped instance.  Part of the point is that SortedList a
    is NOT isomorphic to [a].
  * Add smart constructor, accessor, and some mapping functions
  * other misc refactorings