STRUCTURE zero:number 
          succ(pred:number):number.




