feat(math): add Green relations (L, R, H, D, J) to finite semigroup domain

feat(math): add Green relations (L, R, H, D, J) to finite semigroup domain #3201