An interpreter for a simple probabilistic programming language.