Added laws, updated readme. Need to learn structural induction.