Fixed: - proper comparison with tangent types - constructor of extended types (tropical and article semirings).
