Added `crossing` to detect a zero crossing between bounds of an interval.
Added `ispoint`: See whether an interval contains only a point.
      `inner` and `outer`: inner and outer enclosing of functions.
Check `sqrt` in Sqrt by interval crossing.
Added `log` and `epsilon` for Approx.
Added initial module Reals.