peano: Add comparison
peano: Add comparison

We now have a well-defined ordering and can derive any comparison
operator from that, equality, and logical connectives.

Signed-off-by: Adam C. Emerson <80b3364deb09ee4c7f775a999a72ccb433d596c9@fox.blue>

adamemerson/scratch