Type classes for algebraic structures including basic algebraic structures, ring-like structures, and lattice-like structures in functional programming