first implementation of a macro which counts additions and multiplications
do not define variable names for anonymous variables
new class StarableSemiring. Polynomial does not need star() anymore
rewrote the polynomial test to use CommutativeRExp
test for matrix-star is now based on randomized (deterministic) matrix