My first thought was "where is the reference to Introducing "Time"" — but after reading the post, those two things seem to be complementary.
However, I think both shouldn't be developed in full isolation: When giving meaning to fundamental terms like date or clock, we probably want to make sure to get the best match of names with actual types.