Peano-Zahlen

data N = Z | S N

• definiere Addition, Multiplikation, Potenz
• beweise die üblichen Eigenschaften