-- Revised README.md, expanding the section on monovalent predicates and removing unnecessary examples.

Signedd off by: Mark Farrell<markfarr2011@gmail.com>