Design and implement representations of cardinality and cost that:

• provide type-safety,
• comparison operations that are tolerant to small errors and work with some precision,
• algebraic operations within each type and when combined with each other and with unit-less values,
• provide validity checks