Text this: Deriving Probability Density Functions from Probabilistic Functional Programs