Move types/idef.h to topology/