semiring: whitespace only
polynomials should use Idempotence of the semiring
Merge pull request #33 from michalt/semilinear

Make polynomials use Idempotence of the semiring