PhysicalQuantity_Type and arithmetic operators on it added

A physical quantity is a structure carrying a number and units,
which are taken into account and can be converted.