PmOptionSetImpl: enhanced 3-arg addOption method.