Semirings!
The reference series on algebras that began with Semigroup has escalated to Semiring. We’ve given the semiring page an extensive update that includes a more in-depth discussion of tropical semirings and some useful thoughts on why you might care about the semiring of types.