Refactoring, optimizing: Improved efficiency of interval_map::add. Portability for gcc. Stable {msvc-9.0 r+d, gcc-3.4.4}