Export `LawError` at top level