Text this: Semantics of the Probabilistic Typed Lambda Calculus