first implementation of the tropical semiring ((min,+)-algebra)
matrix-test now uses the tropical SR
semilinear: short-circut + and * for 0 and 1 elements
remove VarPtr typedef and improve the number of included headers
matrix: minor performance improvements in recursive_star
general cleanup