Abstractions: Signs, Interval, Range
Clean imports