Probabilistic Programs of Thought