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.