Replace “a.is_a?(A)” with “A === a” if A is a constant (instead of a type). This is to make it work in case expressions.

This reverts commit d7b436e5.

Correct semantic for chained comparisons. Now “1 <= a() <= b” if translated to “1 <= (temp = a()) && temp <= b”.