wibble
Use a graph to represent subterm relationships in sharing recovery. Fixes #117
Now using HashMap and HashSet for sharing recovery.

This adds unordered-containers to the dependencies.
LANGUAGE wibbles