Update notes for submitted changes

* Move types/idef.h to topology/