Text this: Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories