Fixed the comparison of noncommutative monomials by giving semirings an "<" operator.

Sind einige sinnfreie commits dazwischen, wusste nicht wie ich die hier wieder ausbauen kann. Momentan ist auch noch der Parser für LossySemirings dabei, den schmeiß ich morgen oder so raus.