feat(combinatorics): define simple graphs (#3458) adds basic definition of simple_graphs
simple_graph