Implement EvolveXwithY

Allow support to evolve distribution over one set of variates with another set of variates. This amounts to automatically constructing classes that condition one set of variates on another, which means we will have to solve #1 (closed) before this is likely to become practical.