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.