Revise symbolic circuits API to construct mixture model or custom circuits from scratch

[loreloc]

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