Tetcore core types and inherents for timestamps. License: Apache-2.0