Made terms hashable.  Added a module with a stub of a function that
decorates all sub-terms in a term with their hash values.