Documented use of field annotations in README.

Also fixed links to Assume and Rule javadocs.


Remove comma