Pre-demo progress

- Changed Actions and walk so that last remaining batch is acted upon automatically
- Added bivariate forms of the uniform and normal distributions
- Added some semantic editor combinators (not used yet though)
- Added ability to mix targets
- Added ability to mix proposals
- Stuck on making the kernel mixture typecheck