Implemented naive mutual reachability check.
Made weighted graphs instances of Functor and added an transpose function to both,
weighted und unweighted graphs. Still working on unionWith function for weighted
graphs (whereas union on unweighted graphs is finished).