Text this: A Probabilistic Higher-order Fixpoint Logic