Run the law and return either None on pass or Some<string> with the error report on fail.
None
Some<string>
Run the law and return either
Noneon pass orSome<string>with the error report on fail.