DIEHash: Summary hashing of nested types