A Heavy-Tailed Algebra for Probabilistic Programming