Update notes for submitted changes

* Replace BoundedInt with WSME's IntegerType