a simple probabilistic programming language a la bher