Make the description of the comp_simplify rule clearer

By changing the variable names we clarify that those are rules that can match.

Furthermore, we also change all occurrences of the very awkward "as long as possible" to "until a fixed point is reached".