Correctly identify opaque types

The name of the symbol changed.
Show comments for types

Gather descriptions for opaque types and copy them into the output
file.

Show these in the descriptions again.