Update notes for submitted changes

* Simplifying policy runtime to use single theories