On the relationships between theories of time granularity and the monadic second-order theory of one successor