Update notes for submitted changes

* Arithmetic transformer spec