rename Vector3D -> F3 (for analogy with R3, C3)

Joachim Wuttkerequested to merge
i116 into main

Only a preparatory step for #116 (closed), which turns out to be more difficult.

Merge request reports