probability-0.2.3.1: Probabilistic Functional Programming