Implement many new type features including upreferences, proper retention

of structure contents, counts of packed and array types, etc.

llvm-svn: 32847