Rechnen mit SI-Einheiten unter Beachtung der
Einheitendimensionen. Es existieren zwei Varianten: Die einfache
Typendefinition, die explizite Konvertierungen zwischen Multiplikationen
und Additionen verlangt und die Verwendung von tagged Typen,
die einige dieser Konvertierungen ersparen.