Text this: On Higher-Order Probabilistic Subrecursion