probability-0.2.2: Probabilistic Functional Programming