Church's numerals and booleans

Imported Church's numerals (CNat) and booleans (CBool) into the new
module Haskkit.Data.Church.
Minor formatting changes

Reorganized exports' formatting.