The main changes made here are to create an abstract type FiniteSetCollection, which represents pairs of the form (V,S) with V a finite set and S a collection of subsets of V. This could be a combinatorial neural code, a hypergraph, a simplicial complex, or whatever; the abstract subtype SimplicialComplex is for representing simplicial complexes specifically. There's still a lot of overhaul to be done, and I make no guarantees that I successfully caught and replaced all the types in the files.
The main changes made here are to create an abstract type FiniteSetCollection, which represents pairs of the form (V,S) with V a finite set and S a collection of subsets of V. This could be a combinatorial neural code, a hypergraph, a simplicial complex, or whatever; the abstract subtype SimplicialComplex is for representing simplicial complexes specifically. There's still a lot of overhaul to be done, and I make no guarantees that I successfully caught and replaced all the types in the files.