initial classes for algebraic structures