Fixed README.md, compilation, and copied over version done with Nicola of VectorSpace.
Modified Domain.