add lessoreq to peano.hs