Do type-safe dimensional analysis

[Indy2222]

Currently, all kinds of physical quantities are represented with pure f32s. Use custom types instead. It has the following benefit:

• Currently, the units have to be documented and sometimes be part of variable names. If custom type was used, the type itself would serve as clear documentation.
• It is checked at compile time, that units are not confused (e.g. m vs km).
• It is checked at compile time, that the any equation is correct from the point of view of dimensional analysis.

[github-actions[bot]]

There is no activity on the issue for some time. The issue will be automatically closed in 3 weeks.