Moved Intervals.jl into Validated module. Rewrote + method to use directed rounding with the new @interval macro as a test