Text this: On two-variable guarded fragment logic with expressive local Presburger constraints