added LT(EQ)/GT(EQ) relations for Nat