Lie_coalgebra loading ...