Rename Numeral::Opt to Options