Introduce non-dependent eliminator for interval type.