We have a unifying theory for potential outcomes, graphical models, and structural econometrics. It is based on the theory of structural causal models.
Check out:
These answers may also help:
Which Theories of Causality Should I know?
Is the linearity assumption in linear regression merely a definition of $\epsilon$?
The references above concern a unified mathematical framework for the counterfactual and structural theories of causation.
In practice, of course, each "school" may have different conventions and cultural differences. For instance, certain identification strategies are more popular in economics than epidemiology, or inside econometrics itself there is a cultural division between "reduced form" and "structural" econometrics, etc.
As for Pearl's answer to Imbens' article, it is simply stating that there's no such thing as a "DAG approach." The formal mathematical framework is a structural causal model. The DAG is just one tool for partially specifying a structural model, namely, imposing certain types of exclusion and independence restrictions. You can impose as many assumptions as you would like, and monotonicity has nothing special in it. For instance, see how Pearl and I defined monotonicity here. That is why it makes no sense to ask how you would represent monotonicity in the "DAG approach" vs "PO approach." Maybe a better question would be: how can we formally represent monotonicity constraints (or other shape constraints) graphically, in a way that we can leverage such constraints to algorithmically derive new identification results? This is the topic of ongoing research.
PS: it goes without saying that I think Imbens is a great scholar, and it has inspired a lot of my own work as well! The above is just a comment on this specific point.