Allow matching of `a_n + ...` and populating a pattern of `a_0 + ...` or the opposite.
Allow matching of
a_n + ...and populating a pattern ofa_0 + ...or the opposite.