Update notes for submitted changes

* Diagnostics: add validation for types