Moved everything named Tropical to Data.Semiring.Tropical