Clarified the definition of value-less annotations and some general README cleanup