Much improved inner-rounded multiplication for intervals.  The
difference is only manifested with function intervals.
Added an appropriate comment at the top of the demo file.
A demo of a thick product outer and inner approximations.