Design and implement representations of optimizer estimates (cardinality, cost, selectivity) that:

• provide type-safety,
• implement comparison operations that are tolerant to small errors and can work with certain precision,
• implement a minimal subset of algebraic operations that allow to combine estimates of the same or different types only in meaningful ways,
• provide validity checks.