optic-graph Directed and Undirected Graphs and Hyper Graphs with ordered indices, vertex labels, and edge labels.