t ::=
      true
      false
      if t then t else t
      0
      succ t
      pred t
      iszero t