- Exercise 2. Verify that these encodings (zero, succ , rec) typecheck in System F.
- (Draw a type tree for each term.)
+ **Excercise**: get booleans and Church numbers working in OCaml,
+ including OCaml versions of bool, true, false, zero, succ, add.