Added a new weighted list class that is a combination of existing weighted lists.
We now use this to implement our list of candidates in the stochastic expression generator.
Bugfix: Properly synthesize static calls when synthesizing in a static context.
Added some comments.