Numbers

What properties do we need?

        ZERO
        IS_ZERO
        SUCC
        PRED

Such that

        (IS_ZERO ZERO)                           => TRUE
        (IS_ZERO (SUCC x))                       => FALSE
        (PRED (SUCC x))                          => x

These are actually equivalent to the Peano axioms