Cosmetic changes.
Added complex semiring properties.
Added new classes