On Sweedler's Cofree Cocommutative Coalgebra