Check C++ types with the same identifiers

We assume that all C++ types with the same identifier have the same definition among all input files.
This assumption is taken without any check. We need to carefully check this assumption if possible.

```cpp
// foo.h
class C {
  int i;
};
// bar.h
class C {
 std::string s;
};
```