This is a minor update to the Checked C specification that brings it into agreement with the compiler implementation.
- Update documentation for Where clauses.
- Update documentation for using function pointers.
- Update description of checking conditional expressions.
- Introduce read/write sets for bounds declaration checking.
- Include missing cases for bounds-safe interface assignments.
- Remove holds/suspends annotations for structures.
- Revamp bounds declaration checking rules for expressions with control-flow.
- Fix various typographical errors.