Update notes for submitted changes

* Added registry for Datalog builtins