Project Leyden: Toward Condensers

We elaborate the concept of composable condensers to introduce a simple, abstract, immutable, data-driven model of applications so that condensers can be expressed as transformers of instances of the model.