Implement chained comparisons

In "remapCompare" I'm splitting up the chained comparisons into several two operand comparisons, in order to not a have to generate additional basic blocks in "evalCompare".

Type analysis just returns unknown for now.