A programme of modal unification of dynamic theories