A few trivial improvements

Improve the way that variables are presented in some error messages, and
actually include the documentation referenced in the README.

Initial release

The most basic of possible implementations, but it passes all the tests, so
that's a good start.