Towards a unified theory of reactive UI (2019)