Define inductive graphs from the paper
Finalize graph structure from paper
Change module name from Data.Map to Data.Graph
Add test-framework