Add Semiring Instance