(refactor) Move the modifier parameter to Set, allowing bounds based on implemented modifiers.