replace variant of pointers by polymorphism (#351)

Joachim Wuttkerequested to merge
ba3d11 into main

This resolves #351 (closed).

Advantages:

  • more in line with programming style everywhere else in this project
  • less code
  • arguably simpler

Merge request reports