For #48, de-dupe the unmodifiability for OptionSet.nonOptionArguments()