Fixes to a few problems introduced by reverting optional, arrays of runtime bound, and dynarray.

 - add [intseq] back to utilities library summary
 - [dcl.array] add back fix to formatting in example
 - [headers] fix count and list of headers

Thank you greatly to Guilliam Xavier who spotted and provided initial patches for these!