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

STRUCTURE empty:list 
          add(head:number,tail:list):list.

STRUCTURE True:boolean 
          False:boolean.

