Added manual proofs for pipe laws as `laws.md`