We want to have the simplest APIs possible enabling the user to construct custom symbolic circuits or even mixture models.

• add (weighted) sum operator
• add specialized operator for products for circuits over disjoint sets of variables