Define operator== on type DIEs.
Include type summary code and type-walking logic taken from libcrunch/allocsites.