Function additive 

pub fn additive<I>(
    left: &ExpressionType<I>,
    right: &ExpressionType<I>,
) -> Result<ExpressionType<I>, TypeViolation<I>>
where
    I: Clone + Eq,

Add or subtract two typed expressions.