Refactored. Introduce IntervalMaps::domain_mapping_type and interval_mapping_type. Added is_interval_{set/map} derivative and companion for better overload resolution. Stable {msvc-9.0, partly congcc-4.3-a7}