Update README.md

* Normalized casing of "natural assertions"
* Changed numbered lists which weren't really ordered to unordered lists
* Corrected a few typos
* Corrected a few incorrect statements (I think!)
* Clarified some grammar
Minor corrections and clarifications to README changes.