1) New semiring conversion methods. 
2) BooleanToKTropical and RealToKTropical merged into single class
KTropicalSemiringConversion.
Weighted union made applicable to log and tropical semirings.