Writing a distribution algebra tracer or such sounds hard, but it doesn't have to be, since this is only a proof of concept.
We could restrict ourselves entirely to summation of uniform distributions, for example. This approach seems workable, so maybe I can add a bullet to that draft doc around it.
