Library upgrades
foldTGraph and foldTGraphOrd are now non-final with unchanged default implementations. They are overridden in TGraphImpl with an efficient implementation based on standard Scala folds.
Merged
Merge branch 'peter-empen-master'