Update and rename Pact_proposition to README.md