Coproducts now have a terminating CNil.