Don't know how good your optimizer is, but you don't need to implement all of >, <, >=, <= in C. You just need > and == and the rest come from that:

Def < as (> Swap);
Def <= as (Let A; Let B; Or < A B == A B);
Def >= as (<= Swap);

(Did I implement them correctly?)