Fixed bug, added README.

* Fixed non-exhaustive pattern match when comparing tropical scalars.
* Added a README. It has some math, so I don't know how well it will work, but
  we'll see.