Merge "Formalize CoreCoordinators" into udc-dev