Added bare bones implementations of maps and sets
Renamed Map and Set to SortedMap and SortedSet
Merge branch 'maps_and_sets' of https://github.com/DanielWaterworth/Idris-dev into DanielWaterworth-maps_and_sets