Removed default rules which can already be expressed using our language. Modified Readme.