Detector pattern
This replaces parts of !527 (closed).
- Reimplement type generation for
FittableMeasurement
usingboost::hana
. This also effectively switches that type away fromboost::variant
tostd::variant
. - Reimplement action / abort list introspection using
boost::hana
- This reimplements the static assertions on steppers from !518 (merged) using a custom setup not using boost (see
TypeTraits.hpp
andStepperConcept.hpp
). These concepts are only enforced at compile and are not (and cannot be) used for type erasure.
After this is in, there should be no more boost::mpl
.
Depends on !533 (merged) to be merged first.