Text this: From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity