Added more dataspace typeclasses (Sequential, Set, Sorted). Revised DS instance generator to improve chained instance construction. Added builtins for new dataspaces (InMemoryDS is deprecated, but left in for now). Sets and sorted dataspaces will only work correctly for flat collections, not nested ones (ordered nested collections require a rewrite of the interpreter to move MVars out of the value type).