Anglican, a probabilistic programming system