New functions to support basic logic: eq(x,y), gt(x,y), lt(x,t)