Turning Terra into a probabilistic programming language