Added IntervalApprox type that combines outer and inner approximation to
an interval.  Using it in the Inclusion demo.
Fixed an import bug accidentally introduced in previous commit.