Add physical units and dimensions

[lschuetze]

These both go together. In PPME, there was the possibility, to define units such as length, mass etc. that made it possible to check whether a mathematical expression is correct w.r.t. its units and dimension.

There is currently no notion of dimensions nor dimensions. It need to be discussed how they could be smoothly integrated into the language.