feat(algebra/order/kleene) : Kleene algebras (#17965)
Define idempotent semirings and Kleene algebras, which are used extensively in the theory of computation.
Co-authored-by: Siddhartha Prasad <nivsidad@gmail.com>
Co-authored-by: Siddhartha Prasad <siddhartha.a.prasad@gmail.com>
Co-authored-by: Siddhartha Prasad <siddharthaprasad@Siddharthas-MacBook-Pro.local>
Co-authored-by: Yaël Dillies <yael.dillies@gmail.com>
