Introduce a TimeSpan class, for representing spans of time