There is a very important difference between types and quantities.
For example, 1/3 + 1/3 = 1 is true, if I mean 1/3 of 3 + 1/3 of 0. 1/3 + 1/3 = 2/6 can only be true if we add some quantities, we can't make it true by choosing the right types (we could fix it by choosing a different definition of +, or =, though).
