Test for PrefixSemiring + star() and some fixes
use the generic semiring-test in all semiring tests.
new semirings: BoolSemiring and TupleSemiring + tests