proof that CCC + fixpoints + binary sums = trivial
wording
historical note
ramblings about initial objects