**Excercise**: get booleans and Church numbers working in OCaml,
including OCaml versions of bool, true, false, zero, succ, add.
Consider the following list type:
**Excercise**: get booleans and Church numbers working in OCaml,
including OCaml versions of bool, true, false, zero, succ, add.
Consider the following list type: