update range value analysis
add range value domain, which are possible value in the
range value pair; also update some operations on the
value in the domain; and support about 12 built-ins for
range value analysis.

TODO tmr, to support five relational built-ins.