Better README
Various minor changes
removed test.txt
Rational metric spaces
More lemmas