simplify navigation data structures
left and right linearity for navigation graph
mean linearities
some colors to make graph reading easier
add colors to complete graphs
add some density metrics for navigation graphs
upadte the graphs used as examples
going on with minor stuff + navigation metrics
going on with some ui imporvements
renamed stuff to avoid bipartite graph mentions where we don't actually handle bipartite graphs