Updated laws.md . Not entirely happy with them, they could be more rigorous. Next step is haddock and stick on hackage.