Simplified some types in OptionLawsSpec.