Paper's abstract looks cool, I'd love to take a look at this! Rather than selling "the inference button", I always wondered why more probabilistic frameworks don't play up the "programming" portion of it. Most of us who look into probabilistic programming aren't that afraid of getting our hands wet.