README changes (ongoing...) to reflect new concept of expressive annotations.