can bc/asm carry enough type info for C/C++ compiler/interpreter?

Misha, this would be a requirement on the debugging info as well as a requirement
on the C++ frontend. The cfe now needs to parse and type check both .h.cxx and the
debugging info in .bc files. In the short term it would be fine to have a seperate
utility to regenerate .h files from “g++ -g3” but eventually cfe should have the
capability to parse dwarf2 and what not. This shouldn’t be hard since cfe is the
one that generated those debugging info in the first place.