The Checked C specification currently doesn't describe some features that are implemented. This makes it confusing for programmers to use. We should update it to clearly describe what is implemented.

Here is the list of work to do:

• Improve description of bounds widening #487
• Add description of format string support checking for varargs #488
• Update description of generic types in the specification #490
• Update description of flow-sensitive bounds declarations. #492
• Update description of program scopes for checked pointer types in specification #493
• Update the Checked C specification to describe erasable syntax #494