Type alias DynamicBoolOption

See also WunderbaumNode.getOption() to evaluate node.NAME setting and tree.types[node.type].NAME.