pub fn neg_interval<'a>(i: Interval) -> Result<Interval, EvalError>