BatOption.ord instance, solving #393
Merge pull request #469 from c-cube/batoption-ord

BatOption.ord instance, solving #393