Implement HasCycle and IsBipartite. Rename to Ungraph->Graph