unitization.comm_semiring source