Update notes for submitted changes

* Toplevel collection typecheck.