I insist on marking things by their proper types, because it is a way to prevent bugs, and make it easier to debug the code. If the Python interpreter knows that `time` is a `DimensionSymbol` and not `string`, it will avoid allowing users to accidentally employ string utils on it.