Update notes for submitted changes

* Adapt to changes of ILiteral interface.