Added a EDSL for probabilistic programs. Usable, sort of.
Builds.