probability-0.2.2.1: Probabilistic Functional Programming