wibble
Use a graph to represent subterm relationships in sharing recovery. Fixes #117