Moved LessThan and LessThanOrEqual into Peano.