I've read all kinds of shit about string concatenation even something about "concatenation theory" but I have not seen the distributive property mentioned. I want to do something like this:

rewrite
>eat meat
as
>(1 + m)eat

String concatenation is noncommutative and the shit is tripping me up. I'm trying to construct a whole theory on the distributive property of concatenation but I cant find any previous work on it. Has anyone done this before?