Moved Semiring.h into the util folder