Ongoing fixup after finishing Data.Matrix
wrote Rational.idr
fix NNat.idr, Rational.idr
add graph/Graph.idr

minor correction
fixes