Update README.md

Finished elaboration of Specs and hence of Readme for now.

Haven't tested claims in Specs.