Typed Topological Structures Of Datasets