[Refactor] parameter change for count-relevant functions

[T0nyX1ang]

• before: target: int, op: str => two parameters
• after: target: Union[int, Tuple[str, int]] => one tuple, representing clearer relationship; or one parameter, represent equality