Add BatOption.some
Merge pull request #453 from jpdeplaix/master

Add BatOption.some