Rename Pin to TimestampedTag

Easier to understand because it does not introduce the new concept `pin`.