new types for InitialValueType and InitialTimeType