Chained comparisons should be implemented with strong types when possible

[Chuck]

The implementation of chained comparisons uses the dynamic type even when an expression such as 0 <= i < 9 where i is type int could run at "full native speed" using all ints.

For example, it should be possible to show that the above expression is substantially slower than "0 <= i and i < 9".

See also: ticket:187