free-semiring: fix bugs in additions and star