ISortedDictionary definition + 4 implementations

+ unit tests
+ bug fixes inducated by the unit tests
+ refactorings to conform Orcomp standards