Startup Idea : Additive GUIs

GUIs can be declarative. GUIs can be represented as a commutative set of statements. In the form of widgetA leftOf widgetB. Represent the commands that generate GUIs as a monotonically increasing set of statements about the GUI and declaratively render a GUI based on propositions of widgets in relationship to one another. Has the property of being able to extend existing GUIs by simply making more statements. See additive guis Imagine if a set of tweets could render a GUI.