Add sorted set

Add insert to Map
Add an eqc generate fun to each type (for insert testing)
Re-add original OR-Set (it needs some love though)