CHC: Produce more structured output

[waskyo]

In particular, for things like the diagnostics. This would allow consumer tools to perform (possibly automated) actions, such as adding function attributes to help discharge obligations.