Trustworthy, Useful Languages for Probabilistic Modeling and Inference