Init ver of OptionLawsSpec.
Got a generic identity laws check going.