Documented use of field annotations in README.

Also fixed links to Assume and Rule javadocs.


This should use single backticks.