asd
Loads of stuff wrong, trying to implement the < operator for semirings
reverted, was all wrong
asdasd
Introduced the < operators on semirings and comparison of noncommutative
monomials by using that operator.