Fixed bug regarding insertion in SortedMap.
Fixes idris-lang/Idris-dev#1394. Solution based on the diagnosis in @sebzim4500s comment.
Merge pull request #1408 from ahmadsalim/bug/sortedmap

Fixed bug regarding insertion in SortedMap.