A few more thoughts on inductive summaries.
Update README.md

Bad interaction between parentheses and formatting tags.
Adds the concretisation function for the abstract domain combined with an environment.
Renames ShapeDomain.v into ShapeDomainSig.v.
Adds a shape domain "functor", the final file of the Shape directory.