Text this: On Presburger arithmetic extended with non-unary counting quantifiers