gleefully deleting Nate's code in retaliation for deleting mine.
String already satisfies the OrderedType signature

And implemented the same was as the old StringOrdered
added types.mli

Also removed open Util from topology. It is not needed and util does
not need to be exposed.
moved files around for oasis

Renamed some modules, added .gitignore, etc.
oasis setup