Update notes for submitted changes

* Convert repl_ex.c to C++