Silicon: Added integer predicates (EQ, LT, ...) to the evaluator.
Silicon: Added integer predicates (EQ, LT, ...) to the evaluator.

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors