Text this: Rewriting Modulo β in the λΠ-Calculus Modulo