A simple mlr3misc::Dictionary storing objects of class Terminator.
Each terminator has an associated help page, see mlr_terminators_[id].
This dictionary can get populated with additional terminators by add-on packages.
For a more convenient way to retrieve and construct terminator, see term().