Text this: Relational $star$-Liftings for Differential Privacy