Basic functions for temporal types of any subtype.
Ensure that the subtype of a temporal value is valid