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
trm()/trms().