Define functions peano_eq and peano_lt for equality and less-than comparison of peano objects.