Homogenizes all the error messages by making them start with "\nThe actual ..."
Gets rid of "i.e.:" within error messages

Introduces some guidelines for writing error messages within the HowToAddANewAssertion.md file.
Updates the Readme.md file with error message samples, and special dedicace to Omer Raviv.