Turning a subset of Python into a probabilistic programming language