Function datetime_arithmetic 

pub fn datetime_arithmetic(
    left: &LiteralValue,
    op: &ArithmeticOperation,
    right: &LiteralValue,
) -> LemmaResult<LiteralValue>

Perform date/datetime arithmetic